Quick update: Yes, we are moving to GitHub Pages with the acquisition of the new domain! Old content will be moved over. Yes, some stuff is broken right now, they will be fixed in the next few days (weeks? :P).

See you soon here!