I should have been more specific. On page 21, we read...

"If your AV amplifier (receiver) has a Dolby Digital, Dolby Pro Logic, or DTS
decoder and a digital input jack, you can enjoy Dolby Digital (5.1ch), Dolby
Pro Logic (4.0ch) or DTS (5.1ch) surround effects."

Note that the HD formats -- Dolby True HD and DTS Master Audio -- are not
mentioned.