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.