my work permit is expiring this month, and I applied for PR on Feb 2023. Anyone knows if I should apply for a work permit extension or I should wait since my PR is probably a few months away. Does employers take any in-progress PR document or there is no such thing? your help is appreciated