Private modifications, not yet merged into the main repo.