(the question whether or not is "East Jerusalem" a location in above sense is not really relevant, because the city of Jerusalem is ruled by Israeli authorities (if someone likes it or not) and thus the Israeli time is used there)
Well said!
This is the best reason to avoid Asia/E Jerusalem that I have seen so far.