(It looks like Whink was acquired by Rustoleum. I don't know whether current products are the same.)
On the
product page, in the Technical Information tab, there is the download for the technical data sheet:
https://www.rustoleum.com/-/media/6111FC40699C4F82811A045EFD907995.pdfIt still lists HF as the active ingredient.
It also lists Bitrex as an ingredient, which makes total sense from a safety standpoint, but man do I hate Bitrex in cleaning products, because of how Bitrex residues then spread everywhere and ultimately end up on your fingers, and then face. (In the case of this product, the relevant situation would be carpets, since all the other applications involve thorough rinsing.)
I once made the mistake of using alcohol that was denatured with Bitrex to clean my bathroom. It took weeks to get that damned bitterness gone. It’s actually a fascinating way to demonstrate how bacterial/viral cross-contamination works…