https://github.com/tidalcycles/Tidal/pull/1007 makes the boot file much cleaner. It would be neat to have it reflected in the documentation.