6964eae
#! /bin/sed -fs/{\\tt \\hackscore {}\\hackscore {}/\\sectcode{__/s/\\hackscore {}\\hackscore {}/__/