Deleting linux from dual boot

Steps for safely removing linux from dual boot.

2 January 2020