Re: url.el (in w3) should require 'w3 for w3-write-explicit-encodings