Buttons: fixed typo in property name
Buttons: restored transition

Cannot notice the issue in Chrome anymore.
Cleanup: indirectly set `__html`
Cleanup: removed dead code
Top scorers: improved styling for no results text
Use a worker+redis-based queue to update stats cache

Refs. #276
Add rqworker to .gitignore