You can't manually rename the micro:bits. Their names are hard-coded and based on their internal unique ID. However, you can derive the names by looking at their barcodes in pairing mode:


image