Hello world!

(I’ll use this blog properly eventually)