Hello World!

As I was wondering how to start this post, the template was suggesting a first heading named "Hello World!", and I figured that it is actually kind of appropriate :)