Exclude banned users from @mentions, user search, and the dashboard Users list

When an admin bans a user from Feedback, the ban only blocks that user from portal actions (posting, commenting, voting, etc.). Banned users remain fully visible and mentionable in admin workflows, which is confusing and undermines the intent of a ban.