Adding details.tex as a new location for internals information