write the ghci tag code, fix the lhs converter to handle markdown sections, write a short post about all this jazz