Jujutsu should treat the change-id
header as an opaque string. However, if
the value happens to be formatted like a Jujutsu change ID (40 character
reverse hex), then try to use it as the Jujutsu change ID as well.
If the community agrees to use jj's format, then everyone sees jj-style change IDs, and Jujutsu behaves as though they really are change IDs. If a competing format appears, jj can still use it to track amended commits but doesn't get confused and try to use it as the actual change ID.