The tag bourbaki is entirely useless. It gives nothing that searching "Bourbaki" doesn't already do.
Resolved: manually removed from all questions. The tag bourbaki is entirely useless. It gives nothing that searching "Bourbaki" doesn't already do.