Hack around Markdown table flaw

Github's Markdown implementation won't permit the use of a pipe (`|`) character inside a table, and there is no way to escape it. Using `&#124;` would work, except that this text is also within a backtick-enclosed code segment, which prevents the HTML escape from being interpreted. Use `<code>...</code>` instead.