Martin Donath

@bcoe are there viable alternatives you would recommend switching to or are you just considering Istanbul feature-complete? As far as my research goes, Istanbul together with NYC is basically the...

Yes, a PR would be great!

The revert you're speaking of been done in #14. I'm currently not using this module myself, so I'm not sure how we should proceed here.

I'm afraid I have no time to work on this. I can give you collaborator access if you like.

Somehow related to #1766. If we could identify manual focus on a content tab section, we could detect an author-provided override and skip the `content.tabs.link` feature for that tab group.

In general, we need something discernable to detect user overrides. As I understand, Tabbed will always set `checked` for the first tab right? Thus, if another tab is set to...

Note that there're now [anchor links for content tabs](https://squidfunk.github.io/mkdocs-material/reference/content-tabs/#anchor-links), which might also conflict.

Thanks for reporting! I currently have no bandwidth to debug this. The GitHub Actions build still seems to work, so it may be related to some library incompatibilities. I'm happy...

__Estimate: 8.0h__ Could be combined with #172 – maybe like an analytics view for the whole run? I'd suggest doing some more research drilling down which metrics are most important...

__Estimate: 0.5h__ Just an idea: how about making the console area a fixed height, so the user can scroll inside the container and add a maximize/fullscreen mode for the logs...