Moving to GitHub

For several reasons, I’m moving (not only) my personal website to GitHub.

Please be patient and perhaps return at around end of Summer 2020.

Thanks! –js