Yes, turns out LessWrong Markdown doesn’t let you number from 0… even when you hand-edit in the right HTML parameter, <ol start="0", which meant all the numbers were off by one. I think I fixed them all.
Was there some argumentation that you skipped wherein the authors tried to justify those points?
As I said, I removed the examples to get at the logical structure.
Yes, turns out LessWrong Markdown doesn’t let you number from 0… even when you hand-edit in the right HTML parameter,
<ol start="0"
, which meant all the numbers were off by one. I think I fixed them all.As I said, I removed the examples to get at the logical structure.