Nick Hilliard wrote: >> That should also serve for easily finding a particular number to enter >> as a command-line argument. > > committed, thanks! Hey, glad to see you back! There's also a patch of mine attached at #35, have a look. Regards, Faidon