Don't polute the localStorage too much.
Don't start keybinding before everything is ready.
Start reworking the Header. Move the menu toggler to the left.
Fix the font-size in the Header's menu entries.
Increase the Header's autohiding delay & transition time.
Increase the Header's autohiding toggle sensibility.
Sync Header bar visibility across tabs. #932
Fix `Post no.0` with deadlinks. #932
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