I agree with your point that long names can be a problem by itself. Names should be kept as short as possible.

But not any shorter. "ctx" is just a bad name for a library to expose. Do rename it at those local contexts it'll be on every other line, but do not export it from a global library.