Comment by venthur

Does anyone know which linters exactly they were using?