Other changes to extensions

The following extensions can no longer be disabled during build configuration:

Changes in extension behaviour, and new features: