#2367 (Dec 14, 2020, 3:39:51 PM)

1. sort by model sensitivities and print a table of them (commit: dc5076d) (details / githubweb)
2. lint (commit: a67033c) (details / githubweb)
3. also for diffs (commit: 7606e8c) (details / githubweb)

GitHub pull request #1534 of commit 7606e8c6c953f84e29550ed0d501ade60bd04784, no merge conflicts.