Hooray for GitHub adding HTTPS support to custom domains! Now, this neglected website with static pages can be welcomed to the future!