Text this: Gravitational lensing modification of the high-redshift galaxy luminosity function.