Does windows 7 use more disk space than windows 10