I'm trying to get a post type name from it's singular label using get_post_types(), however the singular_label property was deprecated (Tickets #13357 and #14619). Is searching $wp_post_types->labels->singular_name the only way to do this now?