Might be worth sorting for UI purposes, but that can easily be done by taking data out of the set and sorting them. It's not possible to update partially right now, so the only real operation we need is "Do you have this migration?", thus a HashSet. I also kinda want to discourage questions like "Are we ahead of this migration?" in lieu of the former operation.