Version 0.15: Many small Lint improvements and code cleanup.