utilities for reading online manual pages 
