You found it!  Sorry again that this was so buried.  Bad form on my part, but the thing isn't supposed to be a plugin :)