EasyEngine v4.0.12 released, can we update a existing site to PHP 7.3?


So today EasyEngine v4.0.12 was released and I updated my EE instance to the latest one.
PHP 7.3 has performance benefits over 7.2; I wish to update it to that.

Can we do that right now ?

What will be the commands if it’s possible?