Proofs: Cannot tag certain users

NOTE
This issue was fixed on February 7, 2025.

When a user attempts to tag another user in a proof, occasionally some users will not be available in the typeahead field.

First reported on January 10, 2025.

recommendation-more-help
bdb9aa1d-a432-47bf-b597-d2f1ef14b34d