One of the things that shows in this thread is the problem of cross-referencing double star names. Because doubles often have multiple designations - maybe a Struve number, plus SAO, plus ADS, plus HIP etc etc it can get pretty time-consuming in identifying which pair is being talked about.
Common practice is to use discoverer designations - hence STF (Struve, WGF), BU (Burnham), HJ (John Herschel), etc.
Unfortunately, some software programs decide to use ADS numbers which generally are now applied only to Aitken's discoveries - his big catalog isn't anywhere near complete enough to be a standard reference, and it also doesn't cover much of the southern sky.
SAO should become obsolete. It's not really a useful catalog anymore for the ordinary observer. HIP is fine as a general star reference, but it's not designed for double star referencing, so best kept, like Aitken, for doubles "discovered by...". Ditto TYC.
One can always, with brighter pairs, refer to stars by Greek letter/Flamsteed number within a constellation; that's usually easy to check via an atlas. Referring by proper name is more obscure - some of these are used for more than one star, spellings vary, and many of them are obscure. Wikipedia, last time I looked, listed 400 or so - it adds one more step in identifying, unless it's Sirius or Rigel or Antares....
So, I'd suggest in future it'd be simpler if a thread like this was titled "STF 425 in Perseus" rather than HIP 17129 in Perseus. Discoverer reference. A better fit for double star observers.