Its interesting to note that the GPLv3 allows what TiVo did too, even though RMS didn't want that. Also interesting OTOH is that the LGPL seems to imply that a combined proprietary+LGPL work should continue to work after replacing the LGPL part.

https://events19.linuxfoundation.org/wp-content/uploads/2017...