Files in `/extra/` are meant as additional reading material. It has no relation to the book proper.