Created by: aisuneko
There's still a lingering MediaWiki header in the downloaded pages:
Since its searching function is already stripped after downloading, it's useless and ugly at the same time. It is controlled solely by the <header class="mw-header">
tag, so we could easily remove it.