add links to dot docs, tweak formatting