Marc Glisse 7d4b9de66b Consistent count in the doc ... We already say 5 a few lines below.		2022-02-28 16:14:34 +01:00
..
Kernel_23	Consistent count in the doc	2022-02-28 16:14:34 +01:00