{"type":"rich","version":1.0,"title":"Coqtail + coq-lsp","width":3099,"html":"<a href=\"https://asciinema.org/a/mvzqHOHfmWB2rvwEIKFjuaRIu\" target=\"_blank\"><img src=\"https://asciinema.org/a/mvzqHOHfmWB2rvwEIKFjuaRIu.png\" alt=\"Coqtail + coq-lsp\" width=\"3099\"></a>","height":1752,"author_name":"whonore","author_url":"https://asciinema.org/~whonore","provider_url":"https://asciinema.org/","thumbnail_url":"https://asciinema.org/a/mvzqHOHfmWB2rvwEIKFjuaRIu.png","thumbnail_width":3099,"thumbnail_height":1752,"provider_name":"asciinema"}