Migrate to a certain file

I've also interested of this question and asked it here (didn't notice your post before).
In CI3 it was very helpful. And it is not yet clear how to do this in CI4.
If this is not possible, then how to use the down() methods in migration files?
The documentation only describes an example of how to switch to the latest migration, but no examples of how to switch between different versions.