RIP mobileOK checker validator.w3.org/mobile/ ; you served us well, but time has moved on without you (thanks @percept for the nudge)