Oh man. My brain generates “Was this fixed with a literal s/Holtz/Hotz/ sed command, as opposed to s/Holtz/Hotz/g ?” Because it seems that, on lines where the name occurs twice or more, the first instance is correctly spelled and the later instances are (edit: sometimes) not.
Oh man. My brain generates “Was this fixed with a literal s/Holtz/Hotz/ sed command, as opposed to s/Holtz/Hotz/g ?” Because it seems that, on lines where the name occurs twice or more, the first instance is correctly spelled and the later instances are (edit: sometimes) not.
I don’t know how to do those commands on Less Wrong, I literally fixed it one by one. Not fun.
I do it by pasting the Markdown into a google doc, find/replacing there, and then pasting back.