I think it would be good to be consistent and either use `$HOME` or `~`. I think we've been using `~` everywhere.