Clarify what ASM.js means, since it's technically back compatible