Am 23.08.2018 um 13:42 schrieb Allin Cottrell:
;-) One more thing is required to complete this little sub-project:
provide a link to the PDF doc for uninstalled addons in the
"/Help/Check for addons" window.
OK, but once a user is already within gretl and also online, installing
the addon first to get the help doc doesn't strike me as a high burden.
cheers,
sven