Remove discontinued source code. To keep discontinued versions of the source
code in the current commit is not reasonable. The source code management
system provides all former versions of the source code on request.