Add user ID column to the Users list in WordPress

/**
 * Adds "ID" column to the "Users" page.
 *
 * @see https://wpcodebook.com/snippets/add-user-id-column-to-users-list-in-wordpress/
 */
add_filter( 'manage_users_columns', function ( $columns ) {
	$columns['user_id'] = esc_html__( 'ID' );
	return $columns;
} );

/**
 * Renders "ID" column.
 *
 * @see https://wpcodebook.com/snippets/add-user-id-column-to-users-list-in-wordpress/
 */
add_filter( 'manage_users_custom_column', function ( $output, $column_name, $user_id ) {
	return ( 'user_id' === $column_name ? $user_id : $output );
}, 10, 3 );