What are your thoughts?
As for the "Done" button, I'm still confused. It's distinct from "mask as read" -- that is a separate option still available under the dropdown. So what's the difference between that and "done?" I have no idea. Maybe it marks the related issue/PR as permanently done so I'll never receive a notification for it again? Again -- no idea.