Ugarit Manifest Maker
Help: /ci

The "/ci" page:

URL:  /vinfo?name=ARTIFACTID

Display information about a particular check-in.

We also jump here from /info if the name is a check-in

If the /ci and /vinfo pages used to differ in their default
diff settings, but now diff settings persist with a cookie and
so /ci and /vinfo behave the same.