You can also just type @ and the first few letters of a name and it pops up with names to click. Sometimes bugs out, but it often works fine.
That said, complaining about not being tagged in the thread is not the issue to focus on here. It's totally the job of a Senator to actually come to the Senate and keep apprised of the business of the House.