Here's where the tilde is really useful: when an employee leaves the company, I remove the name from the display and put a tilde in front of the name in the description. When folks are hired around here, we’re usually told “he’ll be sitting at Joe Smith’s old desk.” Since Joe Smith is still in the system, I can find the extension pretty quickly.