* Rename --mbr-manager into --mbr-menu (people seem to be confused
what this option does). Improve the according documentation.
* Update failsafe bootoption.
* Rename --mbr-manager into --mbr-menu (people seem to be confused
what this option does). Improve the according documentation.
* Update failsafe bootoption.