It does not; you can use code released under GPLv3 to develop any kind of DRM technology you like. However, if you do this, section 3 says that the system will not count as an effective technological “protection” measure, which means that if someone breaks the DRM, he will be free to distribute his software too, unhindered by the DMCA and similar laws.
As usual, the GNU GPL does not restrict what people do in software, it just stops them from restricting others.
"
Just a heads up, but I think (assuming it's not somebody else on the page) the formatting of your GPL quote means that it doesn't break automatically, making the comment page very wide (at least in IE9).
I didn't mean DRM violated the GPL, I thought that they may not have been complying with the GPL by not releasing their code that used libvlc, but it appears they are.
No, I can't see how they are.
Here's one GPL FAQ that's vaguely relevant:-
https://www.gnu.org/licenses/gpl-faq.html#CompanyGPLCostsMon...
But this question is very relevant:-
https://www.gnu.org/licenses/gpl-faq.html#DRMProhibited
" Does GPLv3 prohibit DRM?