Ah, right, I forgot that one didn't make it into 13.1.  Thanks!