[Gretl-devel] A short wish list