mysql schema: remove theme_id index pointing nowhere