Hi, On 20 January 2016 at 09:49, Sven Panne wrote:

2016-01-20 8:35 GMT+01:00 Mikhail Glushenkov :

...

You're welcome to open a ticket on the hackage-server bug tracker.

I've reported this several times through several channels

Those tickets are about missing docs, not missing checks of manually uploaded docs.