Edgar Fuß Mon, 22 Feb 2016 10:14:23 -0800
> Better suggestions? Still welcome
> Shall I file a PR? I filed install/50838.