On Tue, 26 Feb 2013 15:16, mailinglisten at hauke-laging.de said: > I am a big fan of hints, too. If these get improved / extended an option like > --no-hints=all Well, we have the --expert option. If it is used we could assume that a hint is not required. Salam-Shalom, Werner -- Die Gedanken sind frei. Ausnahmen regelt ein Bundesgesetz.