I did steps 1 to 3. However, instead of doing step 4, I did:
sudo apt-get install --no-install-recommends bumblebee linux-headers-generic?
If one day, I wanted to install the proprietary drivers instead. How would I undo this? Will running
sudo apt-get install bumblebee bumblebee-nvidia linux-headers-generic do it, or would I need to do other things first?