DoAndIfThenElse is undocumented
The title says it all. The only mention in the manual is that the extension is part of Haskell2010. Unlike the case in #18630, this extension actually causes GHC to behave differently, so documenting it is even more important.