Anton Älgmyr

To summarize some stuff from discord   @meooow25 @krofna Give opinions if we want to do this, and if we do how to implement it. I think it's a...

Some quick debug printing shows that rust-analyzer issues a lot of edits, many of which are on the same lines. And this plugin does not deal with this properly

Are you running a recent version? That error message with the user ending in `#0` should not be possible in code from the last 7 months or so https://github.com/cheran-senthil/TLE/blob/master/tle/util/codeforces_common.py#L232-L241

@cmprmsd Do you intend to continue the work here? I can share a branch with resolved conficts wrt current head if that helps. I could technically pick up work as...

Main issue is the hacky code that parses the navigation.md file. Made a hotfix and hackily patched some other issues. Try at head and see if it works, it ran...

So probable culprit: The code that tried to handle backticks is here: https://github.com/python-discord/bot/blob/main/bot/exts/info/doc/_cog.py#L337 But the splitting of the string happens way later in: https://github.com/python-discord/bot/blob/main/bot/exts/info/doc/_cog.py#L236 It's likely these should happen together,...

Updated the code to not use script variables for context0 and context1, not sure why they were used rather than just keeping them local and passing them as variables.

Code largely unchanged other than just bringing it up to date. One question came up during the rebase (noted in a code review comment). @orestisfl would you be up to...

If someone who knows the codebase better want to pick it up that would be useful. I don't know the logic of the PR well, only what I picked up...

I tried to play around with this, but doing the math of gaps is quite...non-obvious. Is there some nice way of debugging gaps? Like drawing various rects and gaps visually...