No matches were found for subject:"\[issue20806\] os.times document points to wrong section of non\-Linux manual"