To be fair on the author, I found this article useful. I couldn't see an option to format a drive I had used for Linux. The EFI partition was around 500MB and it was annoying me. Formatting the whole drive was the solution I was looking for, but this article served its purpose.