[Pharo-project] Versions Browser diff checkboxes