notes.baty.net is entirely unnecessary. I should just post everything at https://baty.net. Except I enjoy having a static blog and using Hugo to publish a bunch of simple markdown files. So here we are again.