At the end of the FAQ list you find all manuals and downloads.

We recommend loading the provided .mid files into your DAW and play them back to your device using standard MIDI playback at 60bpm. Note that this procedure doesn’t work with Ableton Live or Bitwig, please use a different DAW or your system’s standard media player.

To send the update file (.mid) to your device, you can also use our “Spectre” tool. To do this, use the “upgrade” function.

You can also find the download for Spectre below the FAQ list.