Merge branch 'proj-name' into 'master'

Document origin and new name

See merge request triq/triq!24