buf.append(url).append("#:~:");
            for (int i = 0; i < textFragmentSize && i < textFragments.length; i++) {
                buf.append(textFragments[i].toURLString()).append('&');
            }
            return buf.toString();
        }
        return url;
    }

    /**
     * Appends search parameters to PDF URLs for highlighting.
     *