Branch with patch applied and extended to docs, checker definition (pcx).

See branch [bibtex-071dbedcc8].

I plead again for the supplication of testcases demonstrating the bug and the new feature. I do not know enough about bibtex to write these myself.