Regenerating the entire package set takes ages and editing the file by hand is difficult. Instead we provide a script to remove packages without regenerating to make it easy.
