HTTPS default port for notifications

Fixes #639