1.13.2

(1) Some minor tweaks involving the options panel, as well as making
posting ajaxified and some other misc. tweaks.