Encourage gifs

diff --git a/docs/dev/style.md b/docs/dev/style.md
index 7481f80082687d900cc70193c0d91674236e15d9..9859f614820baea9a82cf8bee35b7d68009e89eb 100644 (file)
--- a/docs/dev/style.md
+++ b/docs/dev/style.md
@@ -78,6 +78,8 @@ Use original span for FileId
 
 This makes it easier to prepare a changelog.
 
+If the change adds a new user-visible functionality, consider recording a GIF with [peek](https://github.com/phw/peek) and pasting it into the PR description.
+
 **Rationale:** clean history is potentially useful, but rarely used.
 But many users read changelogs.