Issue in man page proc.5

[Helge Kreutzmann <debian@xxxxxxxxxxxxx>]

Without further ado, the following was found:

Issue:    kernel → Linux

"I</proc/>pidI</io> (since kernel 2.6.20)"

I</proc/>pidI</map_files/> (since kernel 3.3)"