Fix ScalaDoc for ExtensionKey (Scala API) (closes #3197)