It seems that the output of `android list sdk` changes over time,
so we should not rely on its ordering of menu items. Instead, we can
use stable identifiers that don't change.