Updated sentence mentioning F3 size: from ~50KB to ~55KB