We should probably start using `///` for documentation comments so they show up in Xcode's documentation popover.