v4.19.13 snapshot.
diff --git a/Documentation/CodingStyle b/Documentation/CodingStyle
new file mode 100644
index 0000000..320983c
--- /dev/null
+++ b/Documentation/CodingStyle
@@ -0,0 +1 @@
+This file has moved to process/coding-style.rst