Code cleanup and new check: incompatible extensions

New feature: check for incompatible extensions.