ENCODE_FOR_URI bug?

The function `ENCODE_FOR_URI` should convert forward slash characters `/` to `%2F` according to the W3 documentation on that function:
https://www.w3.org/TR/xpath-functions/#func-encode-for-uri

However, when running a running a query with `ENCODE_FOR_URI` in rdflib, that doesn't happen.