@e46e037e It’s probably 15 or 20 years since I’ve read it. It’s off the shelf now… what choice do I have? :P