* Fixed an issue where property based content filtering would not apply after pressing the apply filter button.
* 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.