No "how-to" head gasket posts for a Gen4?

That's not a definitive test; since that could simply be condensation in the exhaust system from last night. That's more like an "old wives tale test" to tell yourself your correct.

Do whatever you want; since it's your time and money. You've been given the proper procedures to verify a head gasket problem.