Oh no, we play it as a tactic. Deliberately not reminding the mayor has become a legitimate tactic so as to prevent the colonists not running out too quickly.
IMO, level one errors are lame to include in games.
I know some like to play everything in the strictest of forms, but I don't see the point.
Chess for example specifically addresses not allowing level 1 errors (moving into check or not moving out of check is forbidden by the rules.)
I don't really love level 2 errors either (moving into a position where loss is certain), but I agree there are way more ambiguous to define, so I allow them.
I understand the need for games to gives you a way to fix errors in the event they occur, but not filling the colonist ship is getting the rules wrong IMO. The rules don't say it is optional to fill the colonist ship (as far as i know).
Also, if somebody forgot to take extra points for using the harbor, I'd happily let them take them when they realized. (obviously this can run into its own problems as plays may make decisions assuming that the game state is updated correctly). Taking points isn't optional either.
I think everyone at the table should make an effort to enforce the rules of the game and not intentionally not correct somebody that is making a mistake per the rules.
But I understand some groups like to play in different ways. I just don't understand why this type of play is desirable.