Add Erik's extensions - I am now their maintainer!