WiredTiger's public source tree