Smaller repo. Only 82 KiB (from 23 MiB) after git filter-branch. For the scripts, see: