Readd Bot.jj
Fix header-regex
Update documentation