Not so bad at large V or dV/dt I think. GDTs are probably more available (and better spec'd), though.
Come to think of it... yes, neons are still available, starting from $0.63/singles at Digikey. Only brand stocked is VCC.
Possibly the smallest GDT at Digikey is 1812,
Even so, GDTs, SIDACs and junction diodes allow a bit of spikiness through. Which may be fine after all. A follow-up RC would probably be a good touch, supposing schottky diodes or TVSs are inadmissible in the present subject.
Which is another good way to handle this situation, a junction diode as big as capacitance and/or leakage allows, and a TVS or zener (often pre-biased). Single chip (possibly monolithic) arrays are made for this purpose, which is handy around high speed ports like USB, HDMI, etc.
I've seen boards with shark-tooth pads between certain mains traces. Odd thing is, in one example, they were oriented across the common-mode choke, not to ground, or hot-to-neutral. How much common mode RF were they expecting that that could be a problem?!
Tim