Re: [trinity-users] okular is reporting a bug?