This is really weird imo. I know plenty of people who use the more hearty version of “lol” and I think it’s dumb to penalize people for “using masked language” in this regard.
Come to think of it-- Does even phrasing it as I just did above count as masking?