EDIDを保持してくれる裏稼働ありのHDMI切替器がなかなか見つからんのう…
1万円の品とかならあるけど流石にそこまで出せんし