[armedbear-devel] EXT:URL-PATHNAME vs http: as a logical pathname