1.80.0: First release on GitHub

• Highlight the searched term in the editor
• Experimental Login Support
• Analytics are back. This time without firebase.
• Make emojification controllable. Also disable it by default #260
• Huge speed improvement
• Make the Debug screen prettier
• Beta Desktop support for Linux and OSX
• Allow multiple inline tags in the same line #268
• Add Org Editor as an option for the default editor #529
• Language Selector: Show the full language name
• Update modified/created as unix timestamp if already in that format #349