Add documentation for new URL-encoding builtins