A repository of things Dave has documented (not necessarily development related)
Some things were generated by ChatGPT, much like its suggestion to use Github pages to do exactly what is here!