Home: Mentions from proofs do not appear in Mentions widget

Last update: Mon Feb 23 2026 00:00:00 GMT+0000 (Coordinated Universal Time)

CREATED FOR:

NOTE

This issue was fixed on February 19 2026.

When a user is mentioned in a comment on a proof, that mention is not included in the Mentions widget in Home.

First reported on January 23, 2026.

recommendation-more-help

bdb9aa1d-a432-47bf-b597-d2f1ef14b34d