Van Ons said they requested the Plugin Directory team do a forced update but they said it was not an option in this case.

It would be good to know why? Didn't WordPress.org already force update for a few plugins because of security issues?