Comment by lib-dev

Ah now that you mention it, that does sound right! I forgot that part of the story.