Doxygen marks drreg as a "Multi-instrumentation Manager"
Created by: toshipiazza
On http://dynamorio.org/docs under DynamoRIO Extensions, both drreg and drmgr are listed with the same title, "Multi-instrumentation Manager".
Also just noticed: under "DynamoRIO eXtension utilities" there's an entry for "\p Buffer Filling API," we should get rid of the "\p"