gui: short instructions for first time users