Text this: McShane-Whitney extensions in constructive analysis