many little changes

generation of png is still intermittent, but good enough to proceed
with making documentation.