Without researching I would bet someone set this just because they were already using port 443 on their dev machine...