utilities for reading online manual pages 

.