Shinyoung Kim

Add an Abyss cheatsheet to the site

2

I sometimes find myself searching for an [Abyss cheatsheet](https://aws1.discourse-cdn.com/eveonline/original/4X/6/c/6/6c68f248f8645b85b34db587ffbe7e44e390b80c.jpeg) when I've been away from the Abyss for a while and need a refresher. Having a cheatsheet pinned to the site...

Search crashes vscoqtop and extension doesn't recover

3

I have the 2.0.1+coq8.18 version installed with OCaml 5.1.0 on Code 1.83.0 Frequently when performing a search from the query side panel, the search will fail with a `Error Connection...