prod.html: removed Github ribbon; navigation: use target="_blank" for Github link.