they can even keep it proprietary if they wanted to.

Yes, with the caveat that it would have to be an internal piece of software, or if it's a public facing tool then it would have to be under a non-copyleft licence. But yeah, for 99% of use cases they could have a proprietary fork.