The following documentation comment has been logged on the website: Page: https://www.postgresql.org/docs/15/extend-extensions.html Description:
This needs a section on how to remove Extensions. My specific case is I have an old extension with no make file and i have to remove it manually. I have deleted all the files by looking at a sample make install log. But even then something remains because pg_upgrade still flags a c-extension that is already obsolete.
