Made two sets of changes to TEI source and committed them today. Watching to see how Jenkins handles the results. The first one went fine, with no errors (as expected from my local tests). Local tests also show no errors from the second batch of changes (relating to nested bibls), but the first Jenkins build has only just started. I took advanted of the second commit being in two different directories to stagger the commits, so that Jenkins will (presumably) start two separate builds; I'm now waiting to see if it does them serially or in parallel. We need to figure this out for our own local copy of Jenkins.