joern-tag now allows different tag names to be used.