scripted printing of decent looking core docs inside dox/core-modules