A new file
Delete button stops working after that.
wow, this is odd! we’ll look into it
will be fixed in 0.7.4