internal/patch/tip: changes post https://cuelang.org/cl/1205706

This updates the patch that is applied when building against the tip of
CUE, in order for the corresponding build of the site to succeed.

Noting that both breakages would have been avoided if we had a proper
solution for https://cuelang.org/issue/2798.

Signed-off-by: Paul Jolly <[email protected]>
Change-Id: I6257ca45b03e0db7c7fb42b886f730cfe82e1452
Reviewed-on: https://review.gerrithub.io/c/cue-lang/cuelang.org/+/1205932
Reviewed-by: Daniel Martí <[email protected]>
TryBot-Result: CUEcueckoo <[email protected]>

internal/patch/tip.diff

@@ -0,0 +1,33 @@
+diff --git a/content/docs/concept/how-cue-works-with-json-schema/en.md b/content/docs/concept/how-cue-works-with-json-schema/en.md
+index d956341b7..83a6f1d9c 100644
+--- a/content/docs/concept/how-cue-works-with-json-schema/en.md
++++ b/content/docs/concept/how-cue-works-with-json-schema/en.md
+@@ -98,12 +98,13 @@ definition:
+
+ {{{with upload "en" "schema.cue"}}}
+ -- schema.cue --
++// Main Person schema.
++//
++// This schema defines a person.
++
+ import "strings"
+
+ #Person: {
+-	// Main Person schema.
+-	//
+-	// This schema defines a person.
+ 	@jsonschema(schema="https://json-schema.org/draft/2020-12/schema")
+
+ 	// What is this person called?
+diff --git a/content/docs/tutorial/converting-json-schema-to-cue/en.md b/content/docs/tutorial/converting-json-schema-to-cue/en.md
+index e5e781ec2..8ab5dd95f 100644
+--- a/content/docs/tutorial/converting-json-schema-to-cue/en.md
++++ b/content/docs/tutorial/converting-json-schema-to-cue/en.md
+@@ -128,6 +128,7 @@ package cuisine
+
+ #restaurant: {
+ 	@jsonschema(schema="https://json-schema.org/draft/2020-12/schema")
++
+ 	close({
+ 		name!:    string
+ 		cuisine!: string