Description of problem: The current legal notice only creates a few well-known trademarks. The CRG however contains dozens of third-party products which aren't mentioned. Although the current notice says 'All other trademarks are the property of their respective owners.', it would be good to create an appendix with these additional mentions.
Closing. Per Rudi, third-party trademarks don't have to be called out.