[CHERIseed] Update documentation for tags

Change-Id: I8512142134f0ac225b19955ced394448f3316c96
28 jobs for !193 with cheriseed in 109 minutes and 25 seconds (queued for 3 seconds)
merge request