Yes. Or, assuming the old mechanism still works, using *Configure Language to boot into BASIC by default every time the machine starts. My guess is that the RI

Yes. Or, assuming the old mechanism still works, using *Configure Language to boot into BASIC by default every time the machine starts. My guess is that the RISC OS version of BBC BASIC will also have slightly better compatibility with things like old printed program listings than BBC BASIC for Linux, so may be a better choice for the full nostalgia hit.