My reading of the OP and the video posted elsewhere in the thread is that in building support for the proprietary extensions used by Di2 Hammerhead entered into a licensing agreement and was granted access to non-public Shimano documentation. So while it would probably be legal for them to RE the Di2 extensions, that would be legally different than continuing to distribute software developed with Shimano's permission and support.