An experiment in collaborative TEI text encoding