lol sounds like a fun thing to read up on, when bored. I’ll put that in the “read at some point but probably forget about forever” drawer. Thanks!