Elektra Glide was an English Software title, it was published by Mastertronic in the US but I doubt that Mastertronic would be the people it would be licensed from.
English Software did some great titles, maybe that's a clue to some of the other built in games?
Here's a thought, will the emulation auto change speed between PAL/NTSC titles or allow you to pick the speed?
Will the 5200 emulation in the atari800 core be improved as it's pretty neglected just now.