In this change, Mike Halterman says "no need to go through redirects, the point of piped links is for them to go to the correct name".

Yes, I know, but as I cited above, the disambiguation guidelines appear to recommend having the DAB page link to the "full" name rather than to directly to the real name.  Rome (disambiguation) links to Rome, Italy even though the real article is at Rome.

Now, maybe you're saying that as long as I needed a piped link to satisfy MoS:DAB#Piping exception #3
3.  Use piping to format or quote a portion of an article whose name consists of both a title and a clarifier; for instance Harvey (film), USS Adder (SS-3), or "School" (song).
I might as well go directly to the "right" page.

Note a later sentence in MoS:DAB:
This guidance to avoid piping means that a link to a redirect term will sometimes be preferred to a direct link, if the redirect term contains the disambiguation title and the redirect target does not.
That could be read two ways:  as a way to avoid piping, or as a preference for linking to the disambiguated name in preference to the ambiguous one.

Anyhow, I don't care a lot; I was just trying to do it "the right way".