I’d never heard of piped before. I was all ready to yell at you, bot. But after doing a quick search about it, this looks pretty neat. Can’t believe it never landed on my radar.

Good bot.