HTTPS SSH
pygnoweb

Enhances noweb highlihgting code chunks with pygments.