モニターなしのManjaro Linuxをリモートで使うために、HDMIダミープラグを購入した。