Part of the reason this is needed is that https:// and http:// are
different origins, and CloudLab always needs to fetch this through
https:// . But also for my own convenience in being able to stick my
development page anywhere.