There was this question which made me realise that greediness of quantifiers is not always the same in