# Quick-and-dirty HTML text decoding s_\<_<_g s_\>_>_g s_\&_\&_g