[gauddasa]

Oh, that explains why Wikipedia hamburger button works with Javascript disabled. I disabled all Javascript for wikipedia long ago when it brought back the abusive popup culture that disrupts reading by mere presence of pointer on a hyperlink.