Half-degrees of vertices by edge lists (#5075) - Basecamp