Hi, author of the post here. I updated the post last night to be more precise about losing the patent grant specifically and not other rights like the copyright license.