@bored-art-40741: btw I have a PR up for that bug now, will get an RB cut later today/early tomorrow.