Second-hand and charity shop DVDs are your friends here

I would argue it does make a difference. Like I said, many people don’t fit gender norms, but most people do. So knowing it’s a woman shopping can suggest a array of things.

• She will likely be buying some degree more female-oriented or marketed products, a strong example being tampons or a weaker example being beauty products

• Her experience shopping will be that of a woman’s, i.e. she might get patronised in the hardware section or sales-bullied in the technology section, both of which are quite common for women even now

I really can’t think of an example where you interact with other people where a woman’s experience won’t be affected by her being a woman.

I didn’t say they didn’t, simply that the idea that “Gendered words serve no purpose” is untrue, they are very useful.

If it means Spotify, Discord and others will just work on Linux at little cost to the developer, it’s a sacrifice I’m willing to make.

I couldn’t disagree more, many people may not fit into genders, but most people do and simply knowing whether someone is a man or a woman is very useful. Gendered nouns though, like in French, Spanish, Italian etc. serve no purpose but do encode redundancy into the language which can be very valuable for speaking in loud places

youtube-dl is outdated and unmaintained, yt-dlp is the currently maintained fork and should work much better

Correct, youtube-dl is outdated and unmaintained