various path fixes for links to extensions, fix relative paths in links

Jacky Zhao

2023-08-17 0c199975f2d469ecdfd7efcf2ddd16ffa1dc492b

1
2
3
4
5
6
7
{
  "printWidth": 100,
  "quoteProps": "as-needed",
  "trailingComma": "all",
  "tabWidth": 2,
  "semi": false
}