Documentation v15 help: Error in @HTMLDECODE topic