Ah, OK, then we misunderstood each other. My point is: If doc generation actually worked on Hackage, the manual upload could be disabled immediately, I see it only as a fragile workaround, so there is no point in opening a ticket for improving that when we already have tons of tickets for the *real* problem (which somehow seems to be ignored for ages).