Blog domain migrated

As of today, this blog has now moved to a shorter domain name: https://mike42.me.

Hopefully, none of the content got lost in the move!