2020-10-15 - tools.pbbot
13:53	<wm-bot>	<peterbowman> Deploy e0d6437: fix URL extraction in pretty-ref and NKJP-generator	[tools.pbbot]