A slight twist: how do you match on the value of a pi's attribute?

PIs don't have attributes, at least not in the XML spec.
It is just a string. You can use the usual string tokenization
methods to parse it and extract what you think of as "PI
attributes". Some parsers, notably Saxon, have an extension
function which does this for you (it's much easier and more
efficient).