LagartoDOMBuilder double-decodes attribute values