Diederik, would you and Johan mind taking responsibility for providing
(and testing/reviewing) a script for doing this tab to space conversion?