On Thu, Dec 21, 2017 at 02:01:22PM +0200, Topi Pohjolainen wrote: > Here is a revision taking into account feedback from Andres and Fredrik. > Many thanks for both, I hope I didn't miss anything. My apologies, sent to the wrong list. Only realized too late after hitting enter...