Before I forget, thinking about it now, we should probably store the header tags to the generated tag files too as they can be useful for global tags as well. I won't do it now (so we don't have to fight with modified unit tests if some rebases are needed), we should just keep it in mind.