v9.0.0781
e6a16e99 · patch 9.0.0781: workaround to rename "small" to "smallfont" is clumsy ·