> Maybe less well-known is that ~ is an alias for one’s home directory.

And ~mylogin is another alias for ones home directory.

And more generally, ~otherdev is an alias for otherdev's home directory.