MySQL Workbench stuck fetching... とかでググったりした。mysql のバージョンアップの際に mysql_upgrade してなかったのが原因らしい。

org-export-as-html するときに、 a *bcd* /efg/ =hij= が a <b>bcd</b> <i>efg</i> <code>hij</code> のように出力されるが、前後の半角スペースもそのまま出力されてしまうのでなんかかっこ悪い。 気になる。困った。org-export-html-final-hook という変数に、 エクスポートの最終段…