When editing Comments on posts, there is no editing bar e.g. to change fonts, indent etc. Is that deliberate or a bug? If deliberate, why?