They've already done that. The quarterly dividend wouldn't have been due until October, but now a smaller dividend has been recorded for September and will certainly be adjusted in line with the respective dividend announcements for the coming months. And yes, I've done it too
