On Thu, 9 Jun 2016 10:43:50, Christoph Reller wrote:

...

Hence, the check mark cannot be copy pasted from the PDF.

I fear this may be a bug. Or am I missing something? Any feedback is welcome.

Thank you very much for having fixed this issue, Hans! Cheers, Christoph