Was Amelia Wren, played by Felicity Jones in The Aeronauts, a real person? No, but Amelia Wren was based on…