remove (now) irrelevant demo