Lemma: Security patch - developer website updated

My website has moved to https://etodd.io. The link on the main menu was pointing to my old domain name, which has been bought by a malware group.