rename "twisted projects" to "dot products" (maybe?)
|Reported by:||Glyph||Owned by:|
|Cc:||Thijs Triemstra, Tom Davis||Branch:|
We didn't really come to a decision to do this, but my default option is to change the name back to what it used to be, for the reasons I've mentioned before.
I'm opening a ticket for a while just in case someone wants to lodge an objection though.