Haven't read the linked info, but you'd basically simply use the installation media that came with your computer and choose a clean installation that formats the drive where asked. Start up from the first installation medium by holding down the "c" key at startup.