Extensions housekeeping, public extensions and submod cleaning