The default template argument is present in [[inplace.vector.erasure]](https://eel.is/c++draft/inplace.vector.erasure), and it should also be in the synopsis. Is an LWG issue needed to fix this as the inconsistency was originally in [P0843R14](https://wg21.link/p0843r14)?