For me "Ctrl" only worked shifting downwards, not upwards.
Just have found out that in Linux it works as it should, without any additional key. I think the developer, Ravas, was working with a Mac, so didn't realize it doesn't function properly on Windows.
Yes, that new manual looks good. Seems to be newly made and not yet officially activated.