+ Restored the double arrow glyph on redirection board status icons. This one only adds 31 gzipped bytes, which is way better than doing a 'proper' new icon. Also, the technique can be reused to add other glyphs to new classes, and it allows me to remove the color filter (-15 bytes), which I wasn't sure I was going to keep because it's not portable. Yes, the glyphs aren't portable either, but I think it's semantically better to reposition them, or hide them, than to play with filters which may still be relatively confusing to CSS users. (sections.css)
! Fixed template errors never being shown in context if the template file was loaded through weget. (ManageErrors.php)

! Still in the same code block, fixed highlighted line not encompassing the entire line width on long lines. (ManageErrors.php)