Changes
* Fixed an issue where PDF text search highlights are sometimes poorly positioned.
* Fixed an issue where profiles could not be loaded when the name of the profile was too long.
* Fixed an issue where after editing authentication properties an unwanted backward navigation occurred.
