giuliomoro Thanks for your swift reply! I will just wait a bit for Csound to work again then.
Regarding my unbootable bela: I tried ssh-ing into it as both email@example.com, firstname.lastname@example.org, and into its ip-address but only get 'could not resolve hostname' for the hostnames and 'operation timed out' for the ip.
But should not some of the user led flash after a while? Could the problem be that it will not boot from the SD card at all, and since I did that step from the wiki to make the eMMC unbootable, this means that it is stuck in some kind of pre-boot mode with only the network interface showing up but no system? If I remove the SD-card, I get the exact same results as above, so that seems to suggest that it still tries to boot from the eMMC, which I just made unbootable...
As for which version I had installed, I don’t rememeber – the board is a few years old, but I had updated it by the img-file route to the point where it was possible to just update bela through the IDE, so at least above 0.3 then.