from my reading, onlyoffice misread AGPL and the restrictions are not what section 7 meant; however that just means it's not really an AGPL licensed code as they are using AGPL wrong, not that NextCloud can just ignore it and treat it as AGPL.

(if OnlyOffice is really all their code and not some other re-forked AGPL code. I haven't looked.)