A dirty mixin to rescue from dumb `count(*)` query of Django admin