Old feature branches

Hi! Is it actually intended that references to feature branches that have already been merged into `master` stay in the GHC repository? There is a lot of branch references in this repository, which sometimes makes it a bit hard to find a particular one that you’re looking for. Should I delete my own obsolete feature branch references? All the best, Wolfgang