Sorry"Yes, of course" for your GitHub or for "flatpress-extras"?
Yes, upload it to "flatpress-extras".
Fixed Now you can resize the editing area.I couldn't resize the editing area dragging the bottom-right corner. It did nothing. :/
I updated the libraries to latest Version.When you looked at it, did you get any sense for how trivial (or not!) it would be to update the PHP Markdown and Smartypants libraries that it uses? A quick check of those pages suggests it might not be simply a case of drop-in replacement.