jart is already banned: https://lobste.rs/~jart &, as that comment makes clear, their entire domain is now completely banned from lobste.rs. I think you might be overcompensating a tad here?