nostr:npub10czgr8dwwvncqw7kn7v6wfwmtnlu54yg5l0waspn3g5s8m5t4m6sfgxarx I was yesterday years old when I learned about inputrc from your post. Duh. Thank you!!