I don’t think so, but it sounded like he isn’t sure about the correct legal license because he said once that he may need to change the license to GPL. If you wanna, you can join the Discord server (he is pretty active there) and talk with him about the proper licensing of his project.
Maybe you can convince him why GPL is better? He is usually quite active in the Discord server.