removed deprecated for IKonsExtension which is back in normal use.

...and corrected some typos.

Managed to clean my fork. Now I can create clean pull requests again (always use branches, branches, branches...)

Gruss, Harry