Red Lint update

Many other minor improvements and bug fixes as well