After removing CVSROOT/modules, all hell broke loose. A few committer still used it as a shorthand for checking out ports and saving a few keystrokes. Edwin Groothuis offered to write a script that would update the file once a day and generate it from INDEX. This will keep everybody happy, as the file is still there to use, but it no longer needs to be manually maintained, and the code does not need to be added again to the addport/rmport scripts after I edited them. This should have been done years ago, but there you have it. Thanks a lot to Edwin for writing the automation script!