performance.
** Use standard Unicode codepoints for icon fonts
This is done via the [[https://korewanetadesu.com/pages/fontstandard.html][Font Standard]] icon font.
+** Work around incorrect Safari JIT generation.
+ Some details of the symptoms / likely-but-unproven cause at
+ https://korewanetadesu.com/safari-jit-bug.html.
* v1.2
** DONE Override the GPU blacklist on GNU/Linux