flint: Improve few things

Valentin Vallsrequested to merge
improve-flint into master

Improves different small things in Flint.

Closes #3935 (closed), #3940 (closed), #4005 (closed), #3784 (closed)

Improves #3934 (moved)

Edited by Valentin Valls

Merge request reports