ホーム：プルーフのメンションがメンションウィジェットに表示されない

プルーフ上のコメントでユーザーがメンションされた場合、そのメンションはホームのメンションウィジェットに含まれません。

最初に報告されたのは、2026年1月23日（PT）です。