We can do without tools.getyesno

It's just another obsolete function