How would you capitalise it? RipGrep? RIPGrep? You’d need to pick a side and lose the pun. (And of course grep itself would need to be GReP if we took it all the way)

▲

keybored 11 hours ago | parent [-]

I wrote Ripgrep.

▲

pentaphobe 11 hours ago | parent [-]

And they wrote "... you'd need to pick a side and lose the pun.."

	▲	keybored 3 hours ago \| parent [-]
		And I am able to read four sentences.