Obsessive to the point that I remember on a recent flight to Dubai, the IFE's GPS was showing the name "Arabian Gulf". For some reason the GPS channel blacked out almost immediately upon entering Iranian airspace and came back online almost immediately after leaving it. At first I thought it was just a very oddly timed malfunction until a flight attendant told me that Iranian regulations actually forbid airlines who display the name "Arabian Gulf" on their GPSs from flying over Iranian airspace, and so if they hadn't turned it off the airline wouldn't be allowed to fly to Iran or even fly through Iran.
Palestinian man suffers light wounds from rocks thrown by Jewish men in Jerusalem (Haaretz)
from the article: Iran threatens to sue Google for leaving Persian Gulf nameless