add some misc texinfo things