The steps described in the documentation could be automated by pgxn. [Instalation ](https://docs.pgvecto.rs/getting-started/installation.html#from-zip-package) https://manager.pgxn.org/account/register 