Consider the "Any trick"

[Josverl]

Sometimes the stubs lead to type narrowing that require additional asserts just to satisfy the type checkers.

str | None

Typeshed has a recommendation for that

https://github.com/python/typeshed/blob/main/CONTRIBUTING.md#the-any-trick

see if/where this is applicable to the micropython stubs as well