Removed until we use it really (we need to update repository.html also)