Bug#472477: ssh-add -D does not remove SSH key from gnome-keyring-daemon memory

[Jérôme]

I think I just got caught by this.

I'm using Debian Stretch/Mate and I had SSH Gnome keyring launched at 
startup (install default, I guess).

Indeed I do see gnome-keyring in ps ax:

    1255 ?        Sl     0:03 /usr/bin/gnome-keyring-daemon --daemonize 
--login

While testing ssh keys, I created a key and added a .ssh/config file 
with this content:

Host github.com
    IdentityFile ~/.ssh/github-test.key

I checked I could connect.

Then I removed the file and even the key itself. And I could still 
connect (!).

I figured keys must be cached somehow and found out about ssh-agent.

I tried to delete the key cache using

    ssh-add -D

And althouth it says

    All identities removed.

all the keys in the cache still appear when running

    ssh-add -l

echo $SSH_AGENT_PID
1336

ps ax:

    1336 ?        Ss     0:04 /usr/bin/ssh-agent x-session-manager

gnome-keyring 3.20.0-3
openssh-client 1:7.4p1-10+deb9u4

I have no idea what more I could provide to turn this message into 
something helpful...

--
Jérôme