Human-Readable IDs

Public identifiers are readable and self-describing rather than bare sequential integers, which trades a little verbosity for usability and safer defaults.

See ADR#4860595695.