[Users] two-punctures documentation