@DavideD; ok, I've just merged it. If you think these lines can be removed just go for it.