Since 7618b52b "cli: consider 'JJ:' lines as comments also when not followed by space", lines starting with "JJ:" (without space) are also ignored. We can simply add "JJ:" prefix to empty intro/instruction lines. Closes #5484
git push
--named NAME=REVISION
GraphLog::Edge
unused_trait_names
clippy --fix
insta --force-update-snapshots