Thanks for your clarification and the GitHub link!
The motivation behind my question: whenever a team considers an alternative to PostgreSQL, the question about “stored procedures” comes up. Even if most of the business logic is in the application source code, there are cases where stored procedures are used, leading to concerns about migration.