Code completion: shorter presentation for member extensions