I've done some printing yesterday with a fresh developer with a longer prescribed time (2 minutes), faster immersion and more vigorous agitation, and there were no stains (using the same batch of paper as before). I think there's reason for optimism

Thank you everyone for your help!