A
Thanks LeonidS for the comment.
We had done those (clear cache and changing options) a number of times but to no avail. Done again a few times just to be certain, sadly same thing. Still not showing the Full HTML Editor for use in the Posts to Feed.