Get rid of outdated executable documentation example. See #256