Remove code block inside <details> tag (#1221)

I missed this in #1218; removing for now while we work on a solution.