[Gretl-devel] contributed package DP: problem in Windows GUI (and a crash along the way)

Hi, with gretl 2022c (don't know about other versions) I cannot get the package "DP" by Uriel Rodríguez Ramírez to show up in the package list window for the local machine. It is shown in the window for the packages on the server, and "include DP.gfn" also works OK (and says that the package lives in $dotdir/functions/ alright). Asking gretl to install the package via the GUI didn't change anything, and I just tried on the console "pkg install DP.gfn" which led to gretl crashing (on Windows 10) -- OK, apparently this together with the .gfn extension is the wrong command format, so this is a separate issue. 'pkg install DP' on the console returns a success message, but in the package list window there's still no DP. Thanks sven