Disable or forward port 80

To disable, as @pramarajan says. This is somewhat more secure, as most bots that probe port 80 won’t try 443.

To redirect, see

This will help clueless users get in, who don’t know to type https.