User blog comment:Rappy 4187/Technical Update: April 19, 2017/@comment-5558012-20170420161433/@comment-26923519-20170421051219

At least it is possible to change these buttons similarly into a wiki's buttons.