Comment 21 for bug 1675452

@Pavel: There is nothing else you need to do. You both reported the issue and provided a solution, and that's much appreciated. We're about to implement it. (The pages are the result of a build process, so there are a few things to consider.)

Thanks again!