I found the culprit and committed a change. However, I think we need to build the HTML and watch out for possible undesired side effects before we can consider this bug really fixed.
I found the culprit and committed a change. However, I think we need to build the HTML and watch out for possible undesired side effects before we can consider this bug really fixed.