editor doku pushed