-
intrigeri authored
Replace "Boot Tails" with "boot loader menu", and adjust styling to the fact this name is not displayed anymore (refs: #11975). I've used the same styling that was already used in one place for "boot loader menu" in startup_options.mdwn, for consistency.
860a4835