tidy and python3 plugin