Thanks for great answer. You really helped a lot!
Can you tell a bit about where you expected this to be documented? I.e. where would you have found it if it had been documented?
Personally I tried to find some info about the issue using these commands: man dh man debhelper The search expression I used: /flags/, /FLAGS/.I also tried to search for /dh/ or /debhelper/ in manual page for dpkg-buildflags.
Thanks, Arthur D.