Is this a good place to request game-wide cleanup of the "Portal Corp" vs. "Hero Corps" thing? Because I'd like that! ("Corp" is short for "corporation"; "corps" is a military, semi-military, or mutually aligned group of people.) Because while I don't have a screenshot I'm pretty sure both "Portal Corps" and "Hero Corp" appear mistakenly in the game.
Thanks!