Comment 1 for bug 1350914

This will sort-of be fixed by the implementation of bug 1410753, in that the data supplied to WebContext.userAgentOverrides will be serialized and shared with content processes. As the new WebContext.userAgentOverrides API will effectively deprecate the existing mechanism to override navigator.userAgent, it's not worth spending additional time fixing this specifically for the old mechanism.