{- This file contains invalid unicode, it shouldn't be present on the generated
   documentation -}
��