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

		kergonath 11 days ago \| parent \| context \| favorite \| on: Can your terminal do emojis? How big? Every time I grep something. True, it’s not a major issue, but we are talking about preferences here.