grrr git is annoying
Revert "Revert "re-implement mirror subdirectory as a git submodule""

This reverts commit 546eca4040cb9b8ebe7fbfc13dce53597badabc4.
Revert "Revert "Prettify Readme""

This reverts commit fdfe82173a404e630f507bcfa1b24a77437853fe.
don't know why this is a separate commit, but whatever
merge from cooljeanius-private