Linux Mint "personal" PATH. Also, chords!

From the default .profile created in my Linux Mint home directory:

# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
    PATH="$HOME/bin:$PATH"
fi

# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/.local/bin" ] ; then
    PATH="$HOME/.local/bin:$PATH"
fi

So these are the preferred locations under Mint? Just moved my ~/System/bin folder under ~/.local/bin and that worked fine.

Also, chordii is available from the repo so no problem to reinstall it.