Remove no longer used class RichTextPushButton
Last usage was removed in 9139de66ed56200000d2855e6e1e5b7090c62940