Amy may use the names, and possibly the logos, of software products and their makers in producing instructional and educational materiel about such software. This is an example of nominative use. (Product names are not protected by copyright, and so copyright infringement will not be relevant. Trademark protection will be.)
Nominative use means using the trademark as the name of the product or service associated with the mark. This is generally permitted.
In many jurisdictions nominative use is limited to the use of the smallest amount of the trademark that will severe to identify the subject. This often means that use of the text name is permitted, but use of the logo, and the trade dress (the specific colors and fonts used on a name to make it a recognizable trasement, suh as the srylized script used for "coca-cola") is nort permitted withotu permission.
The question says that "Amy has a cheat sheet (based on console commands or key bindings)..." If any wrote the cheat sheet herself, there is no problem. If she copied it without permission, that is quite likely to be a copyright infringement on its own, unless the sheet is a list of facts in a natural or obvious order, with no creativity involved in its creation.
