In-app Proof Notifications

Right now, users aren't receiving in-app notifications when a decision is made on their proof or when someone comments on a proof that the user has generated. After discussing this with our Support team, it looks like the app notifications aren't entirely integrated with Proof, which seems like a large oversight (and a source of major inconvenience when users wait on others to make decisions on their proofs).