server: nightly conversion of formats