Changes

[[Image:grub-boot-menu.png|thumb|right|450px250px|The '''grub boot menu''' to select different operating systems upon computer startup.<br>(Image licensed under [https://creativecommons.org/licenses/by-sa/3.0/ cc])]]