source ⟩ hypertext ⟩ public ⟩ misrule ⟩ 2023 ⟩ pedestrian