PHP72 as default container

I was surprised to see that Drupal 7 suggests PHP 7.1 or 7.2, but aegir docker defaults to 5.x
Then I was even more surprised to see that you do have PHP72 tag on docker hub!

Why is that not the default?

