vct/server: improvements on REST API