In order to be consistent with terminology used in debian-policy,
we've always tried to use the same names for the same things.

The repository option is one of the last things that were too
late in squeeze release cycle to be renamed in time.