I believe the distribution of raspbian I installed came with everything already setup including thonny which I also use to program ESP32 devices which communicate with node-red.
You've mentioned it a couple of times so there any way to tell.
When are the start and restart files created?