Still learning Texinfo. Manual updated.