Oh, good! Thanks for the tip. Interesting that it's not in leveldb.