On Thu, Dec 05, 2024 at 02:28:45PM -0800, Josh Steadmon wrote: > > Actually, after thinking on this a bit more, I think the solution below > > is a bit more elegant. This can go on top of jk/describe-perf. > > > > Thanks, and sorry for not replying earlier, I got distracted by a > different $DAYJOB breakage: No problem. Thanks for finding it! -Peff