Correct. And the reason GPLv3 exists is because TiVo did the same thing eons ago.