Remove `pin_keys`?
I stumbled upon the code that looks for subscriptions without an associated key, and tries to find a distinctly matching key. Originally we implemented that to help with a shortcoming of previously published list-migration code.
I suppose we don't need this key-pinning code anymore and would like to delete it. Does anyone know any reason not to do that?