I was thinking about whether I should put an /s in my comment when I wrote it, and I thought “nah, it’s pretty clear that it’s a joke”. You have proved me wrong. I promise to do better next time