https://gigazine.net/news/20171029-rgb21pin-hdmi/
これが使える。当時、使える環境の人は少なかったろうから、無駄な機能に
思えていたが20年以上の月日を経て、役に立つとは。
64はRGB出力がないのが残念だ。当時はどうでも良かったけど。