Category:UserIsBot extensions/fr