That all being said, my sources tell me that tools exist which can decrypt the .vp files. It's still not going to be particularly readable, but at least it's available for analysis.
Hmm. Well, I get the impression the tools you mention are probably less hens-teeth than the ARM bitstream files ever were, so this development is pretty cool then.