This is documentation for tex-bold-extra.