While I was doing the migration work I've noticed there's an index for device tokens on the installation table. The problem is that MySQL InnoDB doesn't support indexes for VARCHAR columns wider than 255 chars.
Any ideas on how to fix this? Was this really a point of contention? What motivated the index addition?