Should not \url{texmf/web2c} be rather \path|texmf/web2c| in this I don't think it makes any practical difference, but sure, I'll change it. Also, what was the story behind this "forced change"? I'll explain separately.