B blog.rustprooflabs.com PostgreSQL B-Tree index deduplication 186 points petergeoghegan 6 years ago 25 comments