How copyright enforcement robots killed the Hugo Awards