OK, in the end, I managed to solve it myself. I'll write here how, for case someone else also encounters this issue.
I solved it by pressing the "Finish migration" button. I was somewhat hesitant to do that, as - as I expected - all the migration settings and logs etc. are lost now. But along...