Adding the pg_routing extension to a managed PostgreSQL db?

Hey - I am not too familiar with these extensions, but does pg_routing = pgrouting?

I see from the list of supported extensions here https://www.digitalocean.com/docs/databases/resources/postgresql-extensions/ that pgrouting is included.

Hopefully that solves your problem! Let me know if not, and I’ll make sure your request to get pg_routing added goes to the right people.