Add a couple of extensions to GET DATA TYPE=TXT. Patch #6412. Thanks