bug #5297 :   The error code is now encoded for HTML before using it as a key of an error message