Add update note to SAS21 artifact description in documentation
Add update note to SAS21 artifact description in documentation

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer