Thank you for your kind words. You're right - random isn't!
The problem is that of course I kick off the randomizer with the same seed every time, so that you can go to, say, "puzzle number 99" and know it's the same puzzle as last time you went to 99.
But there's no reason why goto random could not do just that!
I'll make a small change very shortly and re-upload.
timns