Had a look at this and was puzzling over getting the workbook as an editable document since I don’t have a PDF editor. I found a solution and thought I’d share in case anyone else was wondering about this.
If you download the PDF, you can upload to your Google Drive; from there you can open the file in Google Docs, and it’ll convert it into an editable Google Docs format. Job done!