This should be documented at http://docs.saltstack.com/en/latest/topics/cloud/profiles.html since it applies to all cloud providers. The other options should definitely be listed here though.