Until 2017.2 I could switch to PDF and save the file, in 2017.3 I could not see any menu or button where I could switch to PDF.
Please check this official article from Product Management on 2017.3.1 release.
Ivanti Service Manager 2017.3.1 Download
With the change of the format of the help file, that link is no longer available.
Retrieving data ...