Documentation for tex-bold-extra
