The WHOIS information for the domain shows that the nameservers have been set to those of a site parkingcrew.net, which calls itself legitimate but however it's configured seems to be illegitimate.
Domain Name: AUTOHOTKEY.NET
Registry Domain ID: 152334794_DOMAIN_NET-VRSN
Registrar WHOIS Server: whois.namecheap.com
Registrar URL: http://www.namecheap.com
Updated Date: 2018-02-10T21:03:34Z
Creation Date: 2005-04-22T21:10:12Z
Registry Expiry Date: 2019-04-22T21:10:12Z
Registrar: NameCheap Inc.
Registrar IANA ID: 1068
Registrar Abuse Contact Email: firstname.lastname@example.org
Registrar Abuse Contact Phone: +1.6613102107
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Name Server: NS1.PARKINGCREW.NET
Name Server: NS2.PARKINGCREW.NET
URL of the ICANN Whois Inaccuracy Complaint Form: https://www.icann.org/wicf/
>>> Last update of whois database: 2018-05-13T04:20:15Z <<<
NameCheap seems to think the domain is available for purchase, for a hefty price.