Following a shock attack by ISIS-aligned militants which captured the southern Philippines city of Marawi last month, hundreds of thousands of its weary citizens have fled the horror of life under the control of jihadists -- a horror compounded by a relentless campaign of bombing by the Armed Forces of the Philippines (AFP).