@Jack: Right. I'll probably upload the new versions on the server a bit later, check with you whether they look fine, and link them to the site.