Do not reexport all extensions in the top-level module