Changelog/Android

• Dark mode, with a true-black option for OLED screens.
• Search highlights the matching text in results.
• A Stats for Nerds screen.
• A database maintenance and diagnostics screen.
• Notes render basic Markdown: bold, italics, code and quotes.