Fix reported mypy issues#7

Open

CoolCat467 wants to merge 4 commits intojorio:masterfrom

CoolCat467:type-fixes

Commits on Feb 6, 2025

Fix reported mypy issues
CoolCat467
committed

Commits on Feb 9, 2025

Fixes from review comments

CoolCat467
and
jorio
committed

Commits on Feb 10, 2025