Update docstring for «explore-attributes»

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Abortion of exploration now propagates upto toplevel

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Fix microtypo

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>