The Metal shaders are checked into the repository for convenience, but they should not be directly edited. Instead, edit the corresponding GLSL shader in the top-level `shaders/` directory, and rerun `make` in there.
twice. This reduces both CPU and GPU time a lot in exchange for a small loss in quality.