io.encodings.detect: simplify prolog-tag.