Document a Haddock/Mavericks bug.