Doxygen is stupid, so delete doxygen comments.

It keeps complaining that "ctx" isn't documented.  Fine.  Go away.