This Page Has Moved!

For some reason — Web address typos and site reorganization are very likely — make publish moved to https://randomgeekery.org/note/2019/07/make-publish/.