Tech Tip 42 ProDOC package option missing