Do we care about the distinction of Windows 8.1 vs Windows 8? Should FirefoxOS be added?