Re: [PATCH] vga_switcheroo: Prettify documentation