Same, largely. As were the tools they somehow managed to negotiate for inclusion on the SuperCD.

Sadly paulspages.co.uk appears to be down. It would be great to recover the screen cam videos for YouTube though!

I did see a memorial recently [1] - turned out he lived up the street from me for many years.

[1]: https://www.brlsi.org/a-sad-farewell-to-paul-stephens/