Don't abbreviate identifiers

Using such short identifiers is unnecessary, and it increases the risk of name clashes.

This commit also removes the "." from the description line, as is conventional.