crDroid9.7が出ました。
今は9.5で作った環境が気に入っているから、当面は手を出さないつもり。