Fix import of some old versions of double repeat
Update manual somewhat