Thread:Extension talk:DumpHTML/no git?