The file is a JSON array of strings and the client parses it as one, so the
.txt extension misdescribed it. Content is byte-identical; only the name and
the URL in the model registry change.