dev Just some developer resources that I've made for myself, may also be helpful for others. Some of my other development work is also spread to other repos.