The formatted spec document is here.

The formatted spec document for DOM addenda is here.

The formatted spec document for asm.js addenda is here.