Comment by kergonath

Every time I grep something. True, it’s not a major issue, but we are talking about preferences here.