Written by Robin Cornett. Last updated on June 29, 2023. Tweak: move settings to Extensions tab subsection Tweak: update plugin header information
