Its a good harvest Peter! Either approach is possible, I have noticed little difference in storing quality either way. I trim off leaves, all soil and rub off the flakiest skin before putting them in shallow crates in the conservatory, where they keep well in the dry air.
Incidentaly I would have harvested them a month ago, you were lucky its a dry season. Once half the tops are fallen I push the rest down, then pull them a week later (that was early August) because the bulbs barely swell after that point, and it gives a better chance of drying onions before winter, and there is then time to grow something else – I have beetroot and chicory where the onions were, interplanted in July, beets are tennis ball size now.