Potsky

This plugin simply adds a <code>button in the rich TinyMCE editor of WordPress to put selection between <code></code> tag.
Don’t hesitate to ask me new features or report bugs on <a href="https://www.potsky.com/code/wordpress-plugins/wordpresscodebutton/" title="Plugin page" rel="nofollow ugc">potsky.com</a> ! 
You can join me on <a href="https://github.com/potsky/WordPressCodeButton" title="GitHub" rel="nofollow ugc">GitHub</a> to add feature, fix bugs,… !

TinyMCE Code Button

This plugin simply adds a  button in the rich TinyMCE editor of Wordpress to put selection between  tag.

Jon Christopher

Add Pinterest Rich Pin data to WooCommerce Product Pages via <a href="https://wordpress.org/plugins/wordpress-seo/" rel="ugc">WordPress SEO by Yoast</a>
This plugin is being actively developed on GitHub <a href="https://github.com/jchristopher/wpseo-pinterest-rich-pins-woocommerce" rel="nofollow ugc">https://github.com/jchristopher/wpseo-pinterest-rich-pins-woocommerce</a>. Please contribute!

WPSEO Pinterest Rich Pins for WooCommerce

Add Pinterest Rich Pin data to WooCommerce Product Pages via WordPress SEO by Yoast

TinyMCE Code Button vs WPSEO Pinterest Rich Pins for WooCommerce