mod note: this post used to say “LessWrong doesn’t seem to support the <details> element, otherwise I would put this code block in it”.We do now support it, so I’ve edited the post to put the code block in such an element
<details>
mod note: this post used to say “LessWrong doesn’t seem to support the
<details>element, otherwise I would put this code block in it”.We do now support it, so I’ve edited the post to put the code block in such an element