Comment by willbur1972

The cleanup has exposed a bug in GitHub where I now have an invisible unread message in my inbox which I can’t remove.