What should you do after making In/Out points to export a section?

Navigating to File > Export > Media is the appropriate step after setting In and Out points, as it opens the export settings dialog where you can specify the format, preset, and other details for your export. This process provides a comprehensive interface for selecting the desired output settings, ensuring that your section is exported correctly.

While using a keyboard shortcut could allow for a faster export, it may not give you the necessary options to fine-tune your export settings. Dragging the section into a new sequence does not directly accomplish the export task and may complicate the workflow. Deleting clips could affect the integrity of your project and is not relevant to the task of exporting a designated section. Therefore, accessing export options through the File menu ensures that all necessary parameters are adjusted before finalizing the export.