Add additional client-side restrictions on robot names to protect against robot-side bugs

[SyntaxColoring]

Overview

Currently, the Opentrons App validates robot names according to these rules rules similar to these:

You can use letters, numbers, spaces, special characters (!?$*) and emojis.
35 characters max

And in theory, the OT-2 can have a display name that's mostly arbitrary Unicode.

In practice, robot renaming has several bugs:

• bug: update-server bricked after POST /server/name with input that Avahi doesn't like #9960
• bug: Robot stops advertising itself when another device has the same name #10126
• bug: POST /server/name can corrupt /etc/machine-info #10197
• bug: POST/server/name returns HTTP 500 if input is not valid JSON #10198
• bug: Robot stops advertising when given a name that Avahi doesn't like #10687

Since the OT-2 persists its display name across boots, hitting some of these bugs can have lasting effects. So, out of conservatism, in the initial release of the robot rename feature, we should limit input to names that are unlikely to trigger any of these bugs.

When these bugs have been resolved and we've had more time to vet our back-end code, we can lift these restrictions, and go back to the app's current restrictions of:

Acceptance criteria

• The Opentrons App's robot rename field should only allow ASCII A-Z and ASCII 0-9 [edit: and ASCII lowercase a-z]. This means it should disallow spaces, special characters, and emoji.
• The Opentrons App's robot rename field should continue to disallow names longer than 35 characters.
  • I believe the robot can safely handle ASCII names less than 63 characters long (and perhaps exactly 63—unclear). My understanding is that the current limit of 35 comes from the app's own design and testing concerns.
• Copy should also be updated.
• Since these new restrictions are intended to be temporary, I suggest leaving a # TODO comment pointing back to this ticket for traceability.

[koji]

@SyntaxColoring
We changed the rules of a robot name

Choose a name for your robot. You can use letters, numbers, spaces, and these special characters: !?$*’-_.

Also, we disallow a user to use space for the first letter.

[SyntaxColoring]

Noted, thanks. I think this ticket still stands. Anything not ASCII A-Z 0-9 [edit: and lowercase a-z] is at risk of not being handled correctly.

[mikecardarelli]

@SyntaxColoring Are lowercase letters acceptable?

[koji]

• update regex

[koji]

@SyntaxColoring Are lowercase letters acceptable?

@mikecardarelli I got confirmation from Max. The lowercase letters are acceptable.