Authenticating with a password with git over http works again. More information here.
Add possibility to renumber eddies in script `filter.py`.