Just to be clear, that wasn't a Mozilla employee commenting, so they won't necessarily even have a good view of Mozilla's priorities.