Tooltip: tweak option documentation