Fix `xcode--get-sdk-list' and clean some comments.