Introduce a hack which replaces all tabs by spaces, always.
This prevents the tab bug from occuring, at the price of completely forbidding tabs and a few quirks when tab indent is enabled.