Close #950
Use <i> instead of <span> for menu icons.
Add [eqn] tags keybind.
Change the header board link index vs catalog behavior. Sync it across tabs. #932
Add Custom Board Navigation. Close #926
changelog
rm that
Header.headerBar -> Header.bar
Allow empty board list.
rm a log
Move the QR and Expand All Images out of the Header's menu, right next to the menu button. #932
Tiny styling adjustments.
c = console. replaces $.log
EAI classes. #932
Better header hover-out transition. See b36b9540d366c882a92a2b8a23270cb7a3b02343
EAI title change.
Tiny fixes. #932
Move v3+ changelog in CHANGELOG.md, link to it in the settings.
Let's try to fix that markdown.
Fix a rare bug where the board list would be incomplete.