Changes

#2 (May 16, 2023, 1:20:27 PM)

1. Don't use \emph for content of lesser importance — Tidefelt Henrik / githubweb
2. Add "propagating" — noreply / githubweb

#2 (May 16, 2023, 1:20:27 PM)

1. Don't use \emph for content of lesser importance — Tidefelt Henrik / githubweb
2. Add "propagating" — noreply / githubweb