In actual reality, perhaps it would make sense to reassign this bug to the toolchain used for building the HTML version; but I'm not familiar enough with the build process to even know which toolchain that would be.
In actual reality, perhaps it would make sense to reassign this bug to the toolchain used for building the HTML version; but I'm not familiar enough with the build process to even know which toolchain that would be.