Comment by djrogers

Pedantry: that’s not a ‘Pro-tip”, that’s pedantry.