Using the Docbook Online Editor

Dear colleagues, I've created an account for the Docbook Online Editor with the username "kaulkwappe" (which is actually a DokuWiki account?) but were not able to login. So, I used my github account and made a change on following page:https://www.php.net/manual/en/function.sodium-crypto-box-keypair-from-secretkey-and-publickey.php However, this is not visible yet. I'm not sure what I have to do now, do I only have to wait or do you need any further information? I think a normal account at PHP would be better since I cannot edit pages again after I used my github account. Sometimes I get the error message> File modified by .or the I can still edit the page, but the preview feature does not work and the change is not visible. Kind Regards,Kaulkwappe body { font-family: 'Arial'; font-size: 100% !important; margin: 0; line-height: 1.2rem; color: #1F497D; }