whitespace
whitespace
did some latex codec things. seems to work but not well tested
how to reopen database?