Half-degrees of vertices (#3985) - Basecamp