King's School (Gloucester, County of Gloucestershire, England), accessed at http://www.apgrd.ox.ac.uk/productions/venues/1675 <28 May 2023>