I used it regularly, but at the time I found the normal download server both slow and unreliable (would often get incomplete downloads). But since then the download server is nice and fast (100Mbps) so I'm personally no longer unhappy at the lack of torrent option, but I sympathize with those that those who have unreliable connections for downloading since I have been in that situation previously.
It's possible to automatically generate torrent files quite easily and quickly (e.g. using mktorrent) but I can understand that manually creating a torrent file for each release when there are frequent updates is a pain. If you want to get clever with some scripting it could in theory even be done on demand on the server when someone attempts to access the not-yet-created .torrent file, but if you didn't want to get into that for something few people would use I understand.