Text this: The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems