I submitted a request for refund at about 2pm. By 4pm I got a [personalized] response giving the amount that would be refunded and the ticket number. It said it would take 15 days.
The ticket was bought in Pakistan.
Pretty good so far, now let's see how long the refund takes. ^