TEI Stylesheets education project meeting. Followed up bugfix we devised as a group to fix related build problems, and then dealt with a reported issue with the oxygen-tei bleeding-edge build, and rewrote the oxygen-tei stable build so it pulls releases from GitHub and not from SourceForge.