made AutoHotkey.html redirect to the new file