At the same time I also converted weblib.php::check_theme_arrows to use UTF8 arrows rather than entities.