If this is dead code, it should be removed. Thank to git, we can still restore if it is needed at some point in the future.