Richard has posted on groups.io that there is now an updated version of the console mode edition of BBC BASIC:
https://groups.io/g/bb4w/topic/bbc_basi ... 0,80240578
It can be downloaded from the usual page:
https://www.bbcbasic.co.uk/console/
Best wishes,
D