it would be nice if there was a parameter for the /ignore command to ignore highlights from a user