Rename IS392RE.html to IS392RE.md