edk2-docs.gitbook.io seems to be offline. Stating "This space has been deleted"