The person who submitted that particular PR is trolling (clear from their comments in the original #2690 thread) - this was satire.