a terminal showing a few git commands, the currently running one is "git push", there is no warranty for the term of copyright on the non-exercise of one or more identifiable patents in that material by anyone who possesses the object code. If the interface presents a list of user commands or options,