Ricty / Ricty Diminished が 2023 年の 1 月をもってサポート終了になっているという記事をみました。
ほかにお勧めのプログラミング用フォントはありますでしょうか？