Some more thoughts on random_page_cost | Dark Hacker News