Good question, and I don't know of a PR for it. The knowledge base only documents a **Mentions** tab on organization pages (https://dev-null.sh/@laravel/mentions style, under Organization pages). Nothing there describes the same tab for personal profiles. My repository search didn't turn up a matching PR either, though keyword search isn't exhaustive.