tiny.el: fix docs