¿Dónde están las opciones de desarrollador en Android 2.3.x?

No he encontrado nada en developer.android.com/tools/device.html

Pensé que las "Opciones de desarrollador" solo estaban ocultas en Jelly Bean?

Como indica w3d, fueron ocultados en versiones posteriores. Para revelarlos allí, debes ir a Configuración->Acerca del teléfono, y tocar 7 veces rápido la "versión del compilación" (es decir, a la velocidad de una doble pulsación). Por lo general, muestra un mensaje luego con algunas felicitaciones. Puedes probar eso en tu dispositivo, aunque no deberían haber sido ocultados antes de JB.