The new version of Wikisource Export has been released. The main user-facing improvement is a wider selection of fonts, but there's been lots of work done on the back end (we migrated it to Symfony).