Document IE9. Closes #7