I started implementing window.navigator and wondered which UserAgent we want to use. We should try to find the most minimal web compatible agent. That probably means something like this:
Mozilla/5.0 (X11; Linux x86_64) Servo/xxx like Gecko - Tom _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
