Discord bot to help programming, including but not limited to querrying known docs. - View it on GitHub