Always use DOT_AUT_ATTRIB flag when dumping DOT format via autman
Improve formatting of log messages in patch_localfixpoint()
DOC TRIV