@WouterJ should this be a tip or a note?