master
8387471: Reduce size of web fonts included in API documentation
8378228: Replace jQuery UI autocomplete component in JavaDoc search
8347112: Copy nested directories in doc-files by default