Comment on How do Australia's petrol prices compare globally?