With reference to the circular issued by the Acting Director-General of his department on 21 December 2023, what total number of short-term visa holders who applied for a visa extension on or before 30 November 2023, but have not yet received the outcome of their applications by 23 February 2024, would be expected to leave the Republic by 29 February 2024?