Update documentation

https://github.com/pmd/pmd/actions/runs/8162226670
31b3398024...daa741c817

feed.xml

@@ -5,8 +5,8 @@
         <description>Intended as a documentation theme based on Jekyll for technical writers documenting software and other technical products, this theme has all the elements you would need to handle multiple products with both multi-level sidebar navigation, tags, and other documentation features.</description>
         <link>https://docs.pmd-code.org/latest/</link>
         <atom:link href="https://docs.pmd-code.org/latest/feed.xml" rel="self" type="application/rss+xml"/>
-        <pubDate>Tue, 05 Mar 2024 19:43:48 +0000</pubDate>
-        <lastBuildDate>Tue, 05 Mar 2024 19:43:48 +0000</lastBuildDate>
+        <pubDate>Tue, 05 Mar 2024 20:42:33 +0000</pubDate>
+        <lastBuildDate>Tue, 05 Mar 2024 20:42:33 +0000</lastBuildDate>
         <generator>Jekyll v3.9.5</generator>
         
     </channel>

images/userdocs/README.md

@@ -0,0 +1,31 @@
+## How to create pmd-demo.gif
+
+### Prepare
+
+```shell
+mkdir $HOME/pmd-demo
+cd $HOME/pmd-demo
+curl -L -o jdk-master.zip https://github.com/openjdk/jdk/archive/refs/heads/master.zip
+unzip jdk-master.zip
+alias pmd=$HOME/PMD/source/pmd/pmd-dist/target/pmd-bin-7.0.0-SNAPSHOT/bin/pmd
+clear
+pmd --version
+pmd check -R rulesets/java/quickstart.xml -d jdk-master/src/java.base -f text --cache pmd.cache --report-file jdk-report.txt
+```
+
+Second terminal window: `cd $HOME/pmd-demo; tail -f jdk-report.txt`
+
+### Recording
+
+Record screencast with https://github.com/EasyScreenCast/EasyScreenCast (a gnome3 extension)
+
+The recorded screencast can be found in `$HOME/Videos`.
+
+### Converting
+
+Convert webm to gif: https://engineering.giphy.com/how-to-make-gifs-with-ffmpeg/
+
+```shell
+cd $HOME/Videos
+ffmpeg -i pmd7-demo.webm -filter_complex "[0:v] fps=12,scale=960:-1,split [a][b];[a] palettegen [p];[b][p] paletteuse" pmd7-demo.gif
+```