Plomino 1.7: nice UI improvements