Update branding information: correct typoes, add trademark information, remove leftover erroneous Firefox branding.