Mario Mommer <mommer@igpm.rwth-aachen.de> writes:
Ah - no. Then I think we shouldn't allow them. Maybe the best thing is
to ask for a name change, pointing out that issue.
OK, good point. Perhaps we should mention this on the project-info.html
page.
Erik.
