More notes on how the texinfo macros work.