/gnu/store/f3lddhapg4jd1rbf0c0l5ha60l2722c4-icedtea-1.13.13-doc /gnu/store/f3lddhapg4jd1rbf0c0l5ha60l2722c4-icedtea-1.13.13-doc-check Diff: │ │ │ │ │ - │ │ │ │ │ + in .html files.