Links for auto-highlighter-py