No, when I started your guide didn't exist yet, only some previous and quite outdated HP PB guides. That's why I figured out most things on my own, went the clean manual way, with a lot of help by your github repos. Thank you so much so far..
I had a look on those hotfix SSDTs, but I'm already using a DSDT patch to select the ProBook-87 layout in VoodooPS2Keyboard.kext, similar to your SSDT-KEY87.dsl in your 4x30s repo. This also fixed the volume keys F6/F7 and the mute special key (and also brightness keys until 10.12.1 beta 3...). What should I try next? Btw, would you like to see my DSDT or any other part of my configuration, if that helps?