hi mattia thanks for your feedback! i will continue taking notes in the bug tracker. i'm not sure what the best action is. for now, i've only heard of two people who are puzzled by this menu entry on linux. if we get more criticism i think we will need to act... but it does not hurry. ciao a.l.e