hugejugsinfo: more hugeJUGS.info