Man pages matching name proteon-80mbit in section 13: