Solution to the issue of CC0 and patents: it turns out, there was no issue in the first place. Yes, the author of a change may not be rejecting rights to patents they could claim, but the whole project is public domain, so there isn't really anyone to sue over it. You can e.g. still see on Git who made a commit or who is hosting it, but... yeah, it's probably going to be OK.