Mantic: which have #!/usr/bin/env python at the top