A MoinMoin theme for EXSLT