Merge pull request #1423 from informalsystems/gabriela/readme-updates

New Logo ✨

README.md

@@ -1,8 +1,10 @@
 <div align="center">
 
 <!-- Title -->
-<img src="./logos/quint-logo.png" alt="Quint Lang Logo" width="90"/>
-<h1>Quint Lang</h1>
+<picture>
+  <source media="(prefers-color-scheme: dark)" srcset="./logos/quint-logo-light.png">
+  <img alt="Quint Lang" src="./logos/quint-logo-dark.png" width=700>
+</picture>
 
 <!-- Menu -->
 <p>
@@ -28,11 +30,16 @@
             src="https://img.shields.io/npm/v/@informalsystems/quint"
             alt="npm (scoped)">
     </a>
+    <a href="https://t.me/quint_lang">
+        <img
+            src="https://img.shields.io/badge/chat-telegram-blue"
+            alt="telegram group">
+    </a>
 </p>
 </div>
 
 
-## Overview
+# The Quint specification language
 
 Quint is a modern specification language that is a particularly good fit for
 distributed systems, such as blockchain protocols, distributed databases, and
@@ -253,7 +260,7 @@ Cosmos in 2023.
 
 ## Community
 
-- Join the chat in the [Quint zulip stream](https://informal-systems.zulipchat.com/#narrow/stream/378959-quint)
+- Join the chat in the [Telegram group](https://t.me/quint_lang) or in the [Zulip stream](https://informal-systems.zulipchat.com/#narrow/stream/378959-quint)
 - Join the [Quint discussions on GitHub](https://github.com/informalsystems/quint/discussions)
 - [Contribute your spell](./examples/spells/contribute-your-spell.md) to the collection of Quint spells
 - [Contribute](./CONTRIBUTING.md) to the development of Quint
@@ -280,7 +287,7 @@ become referenced artifacts.
 ## Acknowledgments
 
 Quint has been designed and developed by the [Apalache][] team: [Gabriela
-Moreira](https://github.com/bugarela), [Igor Konnov](https://konnov.github.io/),
+Moreira](https://bugarela.com), [Igor Konnov](https://konnov.github.io/),
 [Jure Kukovec](https://github.com/Kukovec), [Shon Feder](http://shonfeder.net),
 and [Thomas Pani](https://thpani.net/). :heart:
 

vscode/quint-vscode/CHANGELOG.md

@@ -9,6 +9,9 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ### Added
 ### Changed
+
+- Updated the logo
+
 ### Deprecated
 ### Removed
 ### Fixed

vscode/quint-vscode/package.json

@@ -2,38 +2,33 @@
 	"name": "quint-vscode",
 	"displayName": "Quint",
 	"description": "Language support for Quint specifications",
-	"icon": "quint-logo-vscode.png",
+	"icon": "./icons/logo.png",
 	"version": "0.14.0",
 	"publisher": "informal",
 	"engines": {
 		"vscode": "^1.52.0"
 	},
-	"categories": [
-		"Programming Languages"
-	],
+	"categories": ["Programming Languages"],
 	"bugs": {
 		"url": "https://github.com/informalsystems/quint/issues"
 	},
 	"repository": {
 		"type": "git",
 		"url": "https://github.com/informalsystems/quint.git"
 	},
-	"activationEvents": [
-		"onLanguage:quint"
-	],
+	"activationEvents": ["onLanguage:quint"],
 	"main": "./client/out/extension",
 	"contributes": {
 		"languages": [
 			{
 				"id": "quint",
-				"aliases": [
-					"Quint",
-					"quint"
-				],
-				"extensions": [
-					".qnt"
-				],
-				"configuration": "./language-configuration.json"
+				"aliases": ["Quint", "quint"],
+				"extensions": [".qnt"],
+				"configuration": "./language-configuration.json",
+				"icon": {
+					"light": "./icons/logo-dark.png",
+					"dark": "./icons/logo-light.png"
+				}
 			}
 		],
 		"grammars": [