Add external documentation

Author: ozkutuk

docs/features.md

@@ -283,6 +283,16 @@ Convert a datatype to GADT syntax.
 
 ![Link to Docs](../plugins/hls-gadt-plugin/README.md)
 
+### Expand record wildcard
+
+Provided by: `hls-explicit-record-fields-plugin`
+
+Code action kind: `refactor.rewrite`
+
+Expand record wildcards, explicitly listing all record fields as field puns.
+
+![Explicit Wildcard Demo](../plugins/hls-explicit-record-fields-plugin/wildcard.gif)
+
 ## Code lenses
 
 ### Add type signature

docs/support/plugin-support.md

@@ -50,6 +50,7 @@ For example, a plugin to provide a formatter which has itself been abandoned has
 | `hls-change-type-signature-plugin`  | 2    |                          |
 | `hls-eval-plugin`                   | 2    | 9.4                      |
 | `hls-explicit-fixity-plugin`        | 2    |                          |
+| `hls-explicit-record-fields-plugin` | 2    |                          |
 | `hls-floskell-plugin`               | 2    | 9.4                      |
 | `hls-fourmolu-plugin`               | 2    | 9.4                      |
 | `hls-gadt-plugin`                   | 2    | 9.4                      |

plugins/hls-explicit-record-fields-plugin/README.md

@@ -0,0 +1,18 @@
+# Explicit Record Fields Plugin
+
+`hls-explicit-record-fields-plugin` is a plugin to expand record wildcards, explicitly listing all record fields as field puns. It works in both record construction and pattern binding scenarios, and it works as you would expect regardless of whether there are explicitly provided fields or puns in addition to the wildcard.
+
+
+## Demo
+
+![Expand Wildcard Demo](wildcard.gif)
+
+
+## Known limitations
+
+One of the shortcomings of the current approach is that all fields of the record are expanded, whether they are actually used or not. This results in warnings of unused bindings, if the corresponding warning flag is enabled.
+
+
+## Change log
+### 1.0.0.0
+- Release