My guess is that they aren't using user agent detection, for reasons you mentioned.

It's unlikely they QA unstable browsers, but some in this thread are reporting the same on FF stable.