The link posted was to the main site &#x2F; entrance point of HyperDev, and sure, it could have contained somewhat more information. I also found the link to pages with more background information like <a href="https:&#x2F;&#x2F;hyperdev.com&#x2F;about&#x2F;" rel="nofollow">https:&#x2F;&#x2F;hyperdev.com&#x2F;about&#x2F;</a> after searching for a while.