Somebody has contributed an edited version of the current icons, at https://sourceforge.net/tracker/index.php?func=detail&aid=1481304&group_id=5470&atid=305470 He claims that his version is prettier in small sizes; I'm uncertain whether this is the case. What do you think? Regards, Martin