[Gretl-users] menu after applying restrictions (a suggestion)