In efetch, use POST instead of GET if there are more than 200 ids; see bug #3411