The feature was added after I posted that comment. They are watching!

https://lobste.rs/s/wnqz13/tag_filtering_now_available_to_lo...

https://github.com/jcs/lobsters/commit/249dd85ec3e0d36f6d87d...