Not explicitly. But since they gave it an AGPL licence, you can request the updated source from them, so the intention was definitely there. (Then again, as own

Not explicitly. But since they gave it an AGPL licence, you can request the updated source from them, so the intention was definitely there. (Then again, as owners they can relicense any time they want, so it's not really binding for them) They also invited to contribute to that repo... but none of the serious PRs got ever merged as far as I can tell. Basically, they were never serious about doing this.