Cleaning out some files at the top level of my Google Drive. For many, the verdict is "this might be useful someday, but re-deriving it from first principles would be easier than finding it". #yeet