Links for auto-example-env