disable extra logging again
better menu text
use pygments instead of github to convert md -> html