Everything comes from data

Pages here are generated from structured data files rather than written by hand. A number, a name or a date on this site can be traced back to a row in those files, and that row records which package and which commit it came from.

What gets a page

Only numbers that are assigned in at least one indexed source package get a page. Unassigned numbers get nothing, because there is nothing to report about them.

Accounts and groups are kept apart

A name gets an account page only where it holds a user ID. Names that appear only as a group are covered by the page for their group ID instead.

The reason is simple: the same row of source data should be described in one place, not two.

Dates

A date on this site is the date the source package was read. No page carries a publication date that was produced at build time.

Corrections

When a figure here turns out to be wrong, it is corrected in the data and the correction is recorded rather than quietly overwritten.