The "Extension functions" section renamed to "Extensions" and moved to "Classes ..."
Extension properties and some missing info added
Merge pull request #15 from JetBrains/extensions

Docs on extensions