RetroPie has been trademarked in the USA by a 3rd party
retropie.org.uk