remove the (entirely useless) remnants of the extension system

Closes #3.