#PingTweets: On the liberation of Marawi