Adding personal files accumulated over the years (mostly copy-pasta) to github-hosted prelude fork
Adding the submodules I use