Yes, I gave it a section that was not in user/ because the eds-tools package contains command-line tools which aren't of use to the average user. But, if you wish, I have no problem in giving it a user/ category.