and the documentation for ALTER FUNCTION should read "...as dependent on an extension may be dropped when the extension is dropped".
Nevermind this - if the extension is dropped the function will go away. But the extension can refuse to be dropped due to the existence of this function. Doesn't seem like we need to spell that out on the ALTER FUNCTION page.