As usual, thanks for sharing, Martin. I personally have stopped dealing with options, but this is great for investors that do.
To be clear, many of the tools I publish here do not purport to solve the harder questions, but rather, solve the very common pain points that many or even most users would have, especially when updating their ledgers. A common experience for me in the past was to sit down to do some accounting, only to be waylaid and finding myself playing whack-a-mole with several problems that came up while importing. Which I find disruptive to my accounting workflow and state of mind.
Trace amounts of that occasionally still occur, and ticker management was one of those remaining pieces. I'd buy a new ticker, and my next import wouldn't be the usual 10 seconds, but would involve the distraction of looking up and adding it manually everywhere it needed to be added, and such.
Thanks for letting me express that! And also, there's several more parts to ticker-management I'll share soon.