6339dd9f13
Patch to make w3m’s handling of the a element HTML5 compatible (when the stream is HTML5)
Patch to make w3m’s handling of the a element HTML5 compatible (when the stream is HTML5)