Can we call this argument `options` consistently? Here as well as in `Launchpad`?