You made it halfway through. Well done! I gave up after 100 or so pages. I was bored to hell! Do something pleasant in the last hours of 2023! Cheers!