diff --git a/assets/index-c1f485bc.js b/assets/index-06966f84.js
similarity index 99%
rename from assets/index-c1f485bc.js
rename to assets/index-06966f84.js
index 113bc6b..eb58e66 100644
--- a/assets/index-c1f485bc.js
+++ b/assets/index-06966f84.js
@@ -231,6 +231,11 @@ You can use Topos to play MIDI thanks to the [WebMIDI API](https://developer.moz
mod(12) && midi_clock() // Sending clock to MIDI device from the global buffer
\`\`\`
+## MIDI Output Selection
+
+- midi_outputs(): Prints a list of available MIDI outputs. You can then use any output name to select the MIDI output you wish to use. **Note:** this function will print to the console. You can open the console by pressing ${key_shortcut("Ctrl + Shift + I")} in many web browsers.
+- midi_output(output_name: string): Selects the MIDI output to use. You can use the midi_outputs() function to get a list of available MIDI outputs first. If the MIDI output is not available, the function will do nothing and keep on with the currently selected MIDI Port.
+
`,sound=`
# Sample playback
diff --git a/index.html b/index.html
index 8a94b95..168b209 100644
--- a/index.html
+++ b/index.html
@@ -6,7 +6,7 @@