Make the initial snippet length configurable
The initial length of the snippet in the HTML interface should be configurable from the configuration files.
The initial length of the snippet in the HTML interface should be configurable from the configuration files.