Yes, it's a joke. Or at least the person who submitted that (hmdne) is clearly trolling (you can tell from their comments in the original thread). But the PR w

Yes, it's a joke. Or at least the person who submitted that (hmdne) is clearly trolling (you can tell from their comments in the original thread). But the PR was still accepted in any case, so it looks like it went over the heads of the trollees.