s/prompt_number/execution_count in nbformat 4