anchor.diff:  
   You'd likely have to reboot the guest to take advantage of the new
   `vboxguest` versions.
  +
   
   = X.Org config file chooser for dual-booted VM/HW setups
   
  
positive.code: fi
  ----
  
  = Updating Guest Additions
  
  Do not forget to update VirtualBox Guest Additions on the virtual machines,
  
negative.code: to configure in the end.
  
  * Patch the newly installed `/opt/VirtualBox/vboxconfig.sh` following the
  procedure above, run it to complete the installation, and enable some new
  services installed as part of VirtualBox:
  ----
  :; ( cd /opt/VirtualBox/ && gpatch -p1 ) < vboxconfig.sh.patch
  :; ( cd /opt/VirtualBox/ && ./vboxconfig.sh --postinstall )
  