I've just noticed that Steve has been through the same process as I have and tried testing on 5.8, generating an infinite loop. Sorry I can't yet report whether I have the same experience.
Will do in a few hours after a zoom meeting has finished. Steve, it may be harder for you to debug switching across machines and operating systems. Aaron http://www.cs.bham.ac.uk/~axs/
