Treasure, notifying you since I know your GOGmix contains other language manuals too.
Thanks for letting me know. Even though I appreciate KingCross's gesture, I think I won't be including these manuals to my gogmix, because looking at them they're basically a list of keyboard and gamepad controls and that's it, while the manual currently provided might also largely have a collection of keyboard controls, but it also has gameplay elements on it (though ofc it also isn't optimal given that it's basically a series of screenshots). So, I guess given that both the manual included by GOG and the official manual provided by LucasArts for its Special Edition Collection are lacking, I will probably add the game as an entry to my gogmix, and link to the manual of the original game, especially as there's also the precedent of Monkey Island 2 Special Edition's GOG release doing the same.
P.S. I have the precedent of including keyboard control sheets in my gogmix, but that's for games where I didn't find a better manual than that. Generally when I have the choice, I want the manual to also explain gameplay elements, seeing as I could potentially discover the controls by myself by pressing random keys and seeing what happens.