I agree
However, the idea is, that for the most part, you don't need to understand it. Just trust us that we implemented it correctly, and focus on the physics rather than the mathematics. Provided you observe some basic things (like, sufficient k-points sampling, certain limitations of DFT, absence of phonon scattering, and so on), the results and their analysis should not be strongly influenced by the particular methodology used by ATK.