0.1.2.x warns about non-named servers out of the blue

Mar 11 18:19:50.085 [warn] You specified a server "BlueStar88b" by name, but thi s name is not registered, so it could be used by any server, not just the one yo u meant. To make sure you get the same server in the future, refer to it by key, as "$F5B9ABFAB2C44E790AAFC5344B9F00FBDF6DC36E".

Problem is, I didn't ever mention it by name. I only have info level logs, but they don't help at all. I was probably browsing at the time.

I guess something still refers to something by nickname, internally. I'll try to collect more info as time goes by.

[Automatically added by flyspray2trac: Operating System: All]