patched ghembedder to also escape HTML tags in scala sources