As usual, I’ve forgotten lots of things, everything not written down immediately, is gone. That’s what’s left then. [I updated most of the things that are fixed/changed now!] What…