Hide the "Extension manual" button if a link to "External manual" exists
What do you suggest?
Hide the "Extension manual" button if external manual exists.
Why?
I more or less maintain an external documentation for my extension and since a recent update, the extension page also displays a button to an auto generated "Extension manual" which only contains my README.md file and as such is useless, since it doesn't contain any documentation.