Navigation
Figure 5: Note the tilde character for a change and not a minus for a deletion or a plus for an addition.
