Board Thread:Support Requests - Getting Technical/@comment-9605025-20191215042112/@comment-9605025-20191217184150

Yeah, I know. I think I'll have to do that. I found what looks like something but I don't know enough about PHP to follow what is going on 100%. Plus, the repository is huge. Even when you know what you are looking for (ex. a class), it is still an adventure trying to find it.

I did find one answer though. On GitHub, the extension is labeled as "CommunityHeader".