In-progress browser for a directory of text files

size font for file picker

Created by  Kartik K. Agaram  on June 21, 2023
VZ6UKPE6CW7ZUKUBPUY3XAZL37WILDOTUZLNOM7NZGHS7WVQAXLQC
Change contents