In reply to Mario Peshev.

Yes! I’m so glad other people thought it was worth it too and kept it going. I stopped doing theme dev a few years back and totally gave up on the ticket. I’m thankful it was championed again and finally merged!