windows10のサポートが切れるからその古いPCにlinuxを入れるか最近よくネットで見かけるwindows11の入ってるミニPC(4~5万ぐらい)を買うか迷ってる