ApplicationContext has no attribute 'tex_bot'

[MattyTheHacker]

[CarrotManMatt]

The Pycord Context objects are passed to the commands, checks & autocomplete functions from the Pycord library, and we have no ability to alter the attribute names of those context objects. We can alter the bot attribute value to be an instance of the TeXBot class (which is why the type annotations override that attribute's type), but the name of the attribute of the context object which is used to access the TeXBot object cannot be changed.

This leaves us with 2 courses of action:

1. Rename the cog class' bot attribute to tex_bot so that within commands the bot can be accessed by self.tex_bot, however this would be inconsistent with accessing the bot from the context objects (that would be accessed by ctx.bot, not ctx.tex_bot as we would hope)
2. Access the bot instance from both cogs & context classes under the attribute name bot for consistency. (However this makes me sad as it deviates from the idea of specific naming of bot as tex_bot

Thoughts on which solution is preferred would be appreciated

[MattyTheHacker]

I'd rather go for the consistent option personally - prevents people (me) misunderstanding why we're using different attribute names in different places and also just generally looks nicer imo