Yes, they should have specified that even with the C extension, 32-bit instructions are 32-bit aligned. That would have slightly worsened density as you'd need

Yes, they should have specified that even with the C extension, 32-bit instructions are 32-bit aligned. That would have slightly worsened density as you'd need a 16-bit nop to pad an uneven number of 16-bit instructions, but would have simplified decoding.