Truncate strings in votour to 1024 characters.
Truncate strings in votour to 1024 characters.

Making it bigger is kind of useless, takes time and clutters the output for
no real advantage.

letouzey/coq-wip,Zimmi48/coq,Zimmi48/coq,maximedenes/coq,silene/coq,JasonGross/coq,maximedenes/coq,SkySkimmer/coq,JasonGross/coq,ejgallego/coq,ppedrot/coq,coq/coq,letouzey/coq-wip,JasonGross/coq,SkySkimmer/coq,ppedrot/coq,ppedrot/coq,silene/coq,SkySkimmer/coq,gares/coq,maximedenes/coq,maximedenes/coq,JasonGross/coq,coq/coq,ejgallego/coq,letouzey/coq-wip,gares/coq,silene/coq,ppedrot/coq,ppedrot/coq,Matafou/coq,maximedenes/coq,coq/coq,gares/coq,letouzey/coq-wip,Zimmi48/coq,Matafou/coq,ejgallego/coq,letouzey/coq-wip,gares/coq,coq/coq,Zimmi48/coq,SkySkimmer/coq,Matafou/coq,gares/coq,ejgallego/coq