So we just got pinned notifications, which is great because there are some notifications I need to stick around and remind me to get things done. However, these pinned notifications still get cleared when you click "archive", which should not be the case. I think at the very least, when you click "archive", if you have pinned notifications, it should ask something like "You have some pinned notifications, would you like to archive those as well?"