The votes were 3/5/2 in order of leaving/neutral/staying, with three of the five neutrals having slight preference to staying given the site improves (I myself being true neutral and Jack not having voted himself). The current text editor annoys me, though (and rendering doesn't occasionally trigger properly for me - it often just shows me solid unformatted textwalls for minutes on end, something that scrolling back and forth may or may not fix), so I do hope it gets replaced soon. Ultimately it's Jack's call - I'll be wherever the RP is (though I might not be happy with various design choices sites have made).