Make the 'multiple declarations with same linktext' error message slightly more informative.
Remove <dfn> from heading html before putting it in ToC. Also fix lingering bug from previous commit.
Add OSX setup details.