Version 0.15: Many small Lint improvements and code cleanup.
Merge branch 'features'