Cleaning up modman.ini