I had kind of given up my quest to build a Denon extension, but I just saw that @Boris_Pruessmann created a Denon/Marantz main zone volume control extension! With a basic Denon extension in place and working, creating the extensions for source control and Zone2&3 volume controls seems a lot more doable!