FYI: the next release (1.0.1) is out and should be available as update. The 443 port works now too, all other ports should naturally continue to work. cheers, Thomas