Searchable Full Text in the new ADS

Note: ADS Office Hours talk for May 21, 2019, by Sergi Blanco-Cuaresma