Enumeration of smooth inversion sequences and proof of a recent related conjecture. Issue 3 (4th March 2023)