gcc-4.2 manuals: GNU OpenMP Manual?

[Daniel Franke]

Should section "GCC 4.2.0 manuals" of

        http://gcc.gnu.org/onlinedocs/

not also list the "GNU OpenMP Manual" that is available for 4.2?


Thanks
        Daniel