This avoids mixed mode content on https://lilypond.org
Use https for lilypond.org; As of today, Thu 13 Feb, lilypond.org
serves on HTTPS.
Remove mentions of Virginia Tech and webdev.nl
For posterity, this is how lilypond.org was serving before today:
Jan & Han-Wen are admins of a Google Cloud Platform project
In the GCP project, we have
Today, I added
Then, I changed lilypond.org DNS to point to 35.206.114.173
perl
https://codereview.appspot.com/559470043
Diff:
Passes make, make check and a full make doc.
Patch on countdown for Feb 18th
Patch counted down - please push.