What exactly does this five-month-old never-merged PR prove besides that 90% of people on HN are just reading the headline?