bucklereed
Results
2
comments of
bucklereed
Okay, fair enough. I'm trying to cut down on the 'skipped content' warning noise, since they can indicate possibly-important things getting lost; I'd figured that `\noindent` was presentational and so...
> No, I think that when raw_tex is off it's particularly important to warn about skipped content, since in many cases people may be expecting something not to be skipped....