デスクトップ環境更新やRaspberry Pi対応強化の「Ubuntu 22.10」