[pps]

I'm also using Sublime, but with https://github.com/renerocksai/sublime_zk that makes it much smoother