More helpful and large discussion: https://news.ycombinator.com/item?id=39042626

    const preTags = document.getElementsByTagName('pre');
    for (let i = 0; i < preTags.length; i++) {
        preTags[i].style.fontFamily = 'Times, serif';
        preTags[i].style.lineHeight = '18px';
        preTags[i].style.display ='grid';
        preTags[i].style.placeItems = 'center';
        preTags[i].style.fontSize = '14px';

    }

My conflict management skills are not very good. I take heart in the wisdom that it is possible to reach past hostility and work together. Just as I hope people reach past the ick and read his words on their own merit and not react to them how they are "supposed" to react.