Links for pretty-print-directory