Post #4466564

@nyamsprod@phpc.social It will be `sub()` either way: `sub()` is the established cross-language name, and also the result of the informal poll I had. The vote is only about the 4 methods listed in the voting operations.