Nasdaq’s final IPOs of 2022 are a fitting end to a subdued year