Removed the engine proof hotkey and updated the code requirement doc.