[moving this to the devel list]
Sorry, I was too quick: apparently the addons are not part of the GTK3 snapshot, is that intended, i.e. should I install them manually?
And another P.S.: Pasting text into the (swallowed) console doesn't work, neither from external programs nor from gretl's own script editor. (Don't know yet about the standalone console.)
-s