Obligatory Hello World!

I guess there’s nothing extra to add here. Hello world!

Written on September 24, 2019