4 Oct
2023
4 Oct
'23
2:25 p.m.
On Wed Oct 4 10:00:35 2023 +0000, Giovanni Mascellani wrote:
That's fine for me as it can always be increased (or made dynamic) later, but any specific reason for this number?
It only seems to use 2, so allow 4 just in case. I added a comment.