Translations:Extension:Popups/16/en

The timing of the show/hide can currently be adjusted via this user.js code: