変換コネクタでmini HDMIを探しているのにmini DisplayPortが引っかかるの辛いわね。プルダウンで何から何に変換するやつとか選びたい。