PHPORM-155 adds a package suggestion for mongodb/mongo-php-builder. Once the builder is incorporated into PHPLIB, that suggestion can be removed alongside a bump to the PHPLIB dependency. Any CI tasks installing that package can also be removed.