Source code for "ReDD Focus" (formerly known as 'Viking Focus' and 'MindShield'), an open-source browser extension for hiding distracting elements on websites, compatible across browsers