Do Debian or SPI participate in the GPL v3 process? I think Debian should, to make sure that license compatibility does not decrease substantially, and that things like the purported anti-DRM clauses remain practical.