| 00:21 | <Michael Ficarra> | no, we shouldn't change the name, we should just avoid naming proposals after specific API names in the first place |
| 00:22 | <Michael Ficarra> | I watch very carefully for this mistake during advancement to Stage 1, and so should you |
| 00:23 | <Michael Ficarra> | this proposal was a very old one that had been revived though |
| 03:29 | <rkirsling> | understood 🫡 |