Your W-2 should have your total employer and pre-tax employee HSA contributions in Box 12 with Code W. (The IRS page they posted relates only to Code DD, not Code W.) Your HDHP premiums aren't reported separately, only as deductions from Boxes 1, 3 & 5 (and possibly as part of the Code DD amount). If your employer still won't correct your W-2 to include a Code W amount, contact the IRS at 1-800-829-1040 before filing.
The TT FAQ relates to AFTER-tax HSA contributions, which would deduct your HSA contributions a second time (not allowed since they're already deducted from Box 1). Don't use that box.
