Convert novice/shell/02, 03, 04 html files to markdown