Do not enforce github ribbon over http

Docs in readthedocs run over https and Chrome recognize the ribbon as unsafe content.