Another iteration of the Jenkins build has enabled us to eliminate dependence on MS TT Core Fonts, by using Libertine instead of Times New Roman; waiting for a Council verdict on the quality of the results, but if there's approval, that gets rid of the last remaining EULA in the build system.

Also working on a proposal for <listApp>, and debugging some missing character issues in the PDF build (I've found the problem, but I'm still waiting to see if my solution works or not).