¿Cómo agrego un número de teléfono a los contactos desde la aplicación de mensajes de texto?

Tengo un mensaje de texto enviado desde un número de teléfono que aún no está vinculado en ningún otro método.

¿Hay alguna forma de usar el número de este mensaje para crear un nuevo contacto o modificar uno existente directamente desde la aplicación de mensajería de texto?

Si es relevante, uso Gmail para mis contactos y los he importado de Facebook.

Tengo Android 4.0 (Ice Cream Sandwich).

lo que he probado

Esta pregunta es vagamente similar , pero no exactamente lo que estoy buscando.

Sé que puedo copiar/pegar el número si abro el cuadro de diálogo "modificar destinatarios", hago clic en el número y hago clic/mantengo pulsado para abrir la herramienta de cortar/copiar/pegar. También puedo simplemente escribir el número en papel. Estoy buscando una alternativa.

No hay opciones de menú si selecciono el mensaje en el nivel superior de la aplicación Texto.

Las opciones de menú en el hilo de mensajes de texto no parecen relevantes:

• Insertar emoticono
• Borrar
• Fijar prioridad
• Añadir tema
• Modificar destinatarios

Las opciones de menú si hago clic y mantengo presionado un mensaje individual no parecen relevantes:

• Borrar mensaje
• Reenviar mensaje
• Copiar texto del mensaje
• Proteger mensaje
• Ver detalles del mensaje
• Agregar a la tarea