Maybe force of habit from years ago when Mozilla was the dominant non-default browser and chrome rolled in and ate their lunch by feeling so much faster.