Use buffer-local variables for annexed filenames; documented all functions; miscellaneous fixes.