@screwtape I think (at least for most cases, and assuming there's still an equivalent 4.0 version*) you can just upgrade it. I don't see anything that would make it incompatible with AGPLv3+, but I'm not expert enough in the relevant areas to say that 100%.
* For example, there's no 4.0 equivalent to the older Sampling+ license for music.