'&' -> '&amp;' in puzzler sources