getDocComment: /** Version used in a plugin compatibility check. */
