Comment by worksonmine

The few people willing to change their user-agent aren't worth the extra complexity.