i'm not sure if it's a concern, but this is a distributed server issue (khan exercises), so could be put inside the `not CENTRAL_SERVER` code.  Fine to merge as-is (after @ruimalheiro tests), but if you see any issue, please make the change.