Play Music does this thing where if you choose an instant mix it turns off auto-repeat. This extension fixes that.