Nope. I never needed that, so I didn’t check before … will have to mention that, too, from now on. Thanks for the hint.
I guess we’ll see whether the recent fix mentioned in the linked bug report for “bacon” (OnePlus One) results in a fix for all devices in the next update, or whether somebody will have to enter a bug for FP2 specifically to get it fixed.