On Fri, 23 Feb 2018 15:25:23 +0200 Removed GDPR <removed-gdpr at example.com> wrote: > May one we file this as a feature request? You can file a feature request, but that doesn't mean that it'll ever happen. To have a better chance, submit a patch. with regards Paul