Re: [PATCH] Fix #1756 by replacing rest ops for explicitly consed rest args

[megane]

LGTM, pushed. Thanks for you both.

I tweaked some whitespace. Also, I reflowed the Acknowledgements file a
bit to make it merge.