configuration support for HTML decompiler