Various fixes

This fixes what I found at first sight.

I plan to do some refactoring after that, as I find that docs are too verbose sometimes (i.e. teaching user how to enter BIOS) and sometimes they suggest controversial things (like advising to do timezone setup manually instead of setup-timezone without a specific reason).