Use the casefold() method in Python when doing case-insensitive stuff

Zettel#32

zettelkasten
Published

2023-01-20