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

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

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