Today my homepage was migrated to Github pages. Hopefully, this will be a mostly pain-free experience.