Which one of us is setting up the dist-lib installation, anyways? I’ll volunteer to do it eventually, if you don’t first.