added ,letters command
improved catenation of string
can type command abbreviation if unique
use a lock on dump_data
better emission of unlocking in epilogue for lock
better primitive in start of todo dump