Paul Eggert <eggert@cs.ucla.edu> schrieb am Mo., 14. März 2016 um 21:03 Uhr:

> Thanks, here's a detailed low level review.
>

Thanks, all done. New patch is attached.