.bashrc: replace MY_HISTORY_CMD with a function; strip useless history entry number