do not double decode by default; add config option to do so; closes #1557