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!

Leave a Reply

Your email address will not be published. Required fields are marked *