george.karpenkov added a comment. > inline the header into every page, which is horrible is it though? we probably also should be moving towards an auto-generated model anyway, if we want to e.g. automatically build sections of a website from the code. https://reviews.llvm.org/D52984