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