> From: Philipp Stephani <p.stephani2@gmail.com> > Date: Sun, 11 Jun 2017 13:25:54 +0000 > Cc: emacs-devel@gnu.org, phst@google.com > > Here's a new patch, which implements option (1). Thanks, this LGTM.