The bar is pretty useless and takes a ton of vertical space.
Version au 29/03/2025. Voir la dernière version.
Voici les versions de ce script où le code a été modifié. Voir toutes les versions.
Improve the description, change the CSS formatting. No functional changes intended. Works well for me.
