נספח: האם העיר ירושלים היתה עיר ערבית‑מוסלמית בין השנים 640‑1918