API documentation entry point, including modules outside the Miri import closure.