Text this: Fréchet differentiability of Lipschitz functions and porous sets in Banach spaces