A few more of my assumptions occured to me. I am writing them in the README so as to make them explicit for others.