Git repo for the PROPER Shortcodes WordPress plugin