Is it possible to rename a pair of AirPods without iTunes or an iPhone? Is it possible on Android or under Linux somehow?