[@stitzelj Participant 17 years, 2 months ago]

That’s a pretty good idea. I’ll make that change in the next release, which I’ll probably drop in a week or so to make sure I clean up any other bugs I run across.