I don't think OnlyOffice will win in court.
AGPL3 prevents you from adding restrictions.
In clause 7 3(b) they add a clause that you must keep their Logo etc. In the UI
The almost immediately in a follow up clause restrict anyone from using their Logo etc.
With those clauses, you can't fork the repo. Which adds a restriction, which is against AGPL3