Hi Jon, it is called Background Manager, http://myatus.com/projects/background-manager/.
Absolutely brilliant tool, especially for randomized backgrounds - check out how it works on my site: http://www.fairytalesfilms.com.au - reload it a few times to see randomly picked ones from my custom collection.
Hope this helps - and I'm sorry for the Better Backgrounds support if they don't get bugs sorted in first place.