A search function on the user guide would be a most helpful addition