Yup, it should be killed off. First step would be for all browsers to send the same UA. Once it becomes completely meaningless, nobody will read it any more an

Yup, it should be killed off. First step would be for all browsers to send the same UA. Once it becomes completely meaningless, nobody will read it any more and we can drop it permanently.