Ignore manual-stripped.html