Browser extensions to replace "Linux" with "GNU/Linux"