Mention the auto-required file in the extensions documentation.