@seri4kb@mi.seritude.com なるほどなぁ。スカーレットキング→キングデシェレトに置換された件もあるから修正される可能性もありそうですね