Allow use of HTTPS-URLs; Minor GUI-Tweaks