Sub-ticket of PLUTO-772 export-db.py undercounts functions: information_schema.routines is privilege-filtered, so hardening grants erases functions from the schema.md SSOT · pluto