04. 09. 2017 by Pentti Virtanen Lean developer is back in SSL Old posts will be here soon !! 30.9.2017: Old posts are now back on line with little reformatting and typo corrections.