[bikeshed] Vertical alignment of arrays

[rossberg]

Some uses of arrays do not seem to respect the [t] placement, such that vertical alignment is off.

(For example, see the grammer definition for store here.)

[flagxor]

This is due to [t] etc. not being supported:
KaTeX/KaTeX#269

We could make this less glaring if we changed this:

   \begin{array}{llll}
   store &::=& \{~ 
     \begin{array}{lll}
     SFUNCS & funcinst^\ast, \\
     STABLES & tableinst^\ast, \\
     SMEMS & meminst^\ast, \\
     SGLOBALS & globalinst^\ast ~\}
     \end{array}
   \end{array}

We could make this less glaring if we changed this:

   \begin{array}{llll}
   store &::=& \{~ 
     \begin{array}{lll}
     SFUNCS & funcinst^\ast, \\
     STABLES & tableinst^\ast, \\
     SMEMS & meminst^\ast, \\
     SGLOBALS & globalinst^\ast
     \end{array}
     ~\}
   \end{array}

[rossberg]

Closing as "won't-fix", since the Bikeshed version no longer uses Katex".