"Change Disk Password" tool isn't Qubes branded and isn't grouped with the other Qubes tools

"Change Disk Password" tool isn't Qubes branded and isn't grouped with the other Qubes tools #4808