web.html:encode: escape custom tostring()s too