It appears that both requests have been accepted: Michal's and mine, so closing. Feel free to re-open if you disagree.