I think I will remove it for now: this is something I should have stashed away, not committed.