Alright then, thanks to all for your replies.
So for a while I had thought that the problem was fixed by replacing the current (new, probably crappy Asian aftermarket) with another (old, genuine) master cylinder. But no such luck.
First time I was driving out of town, problems reappeared after...