Really drop mentions of info in refman.
bugfix micromega: solved an ambiguous symbol resolution (backport)