added by Tristan Gingold on 2018-03-23 07:35:09.663575
The lint tool was released; refer to the wiki for details.