We will soon remove HHVM everywhere, but in the meantime we have parsoid-php that only runs on php 7.2 and thus servers supporting it will need to be installed without HHVM sooner rather than later.
To this end, make HHVM's installation optional - maybe even absent the files and packages if it's not choosen?