Hello Peter,
Agreed, I feel its best to remove the pulley so that removing old and fitting the new belt does not disturb anything. I know that a lot of people/garages simply cut the old belt but again, I prefer to reduce the risk of disturbing the pulley alignments once set up.
Each to their own of course, we all have our own way of working.
Leo