Collection of small improvements
NOTE: the changes to the linter are included in !104 (closed) and should hopefully be idempotent.
Edited by Francesco Bettella
NOTE: the changes to the linter are included in !104 (closed) and should hopefully be idempotent.