michaelg/dev: links for bot-tools-onlythor