- Corrected HTML script and stylesheet tags that used http
- Added https to protocol relative URLs in script tags
- Modified ServersPanel so it always constructs the server addresses
with https.
- Corrected duplicate 'https:https:' tags in two performance examples