Looks like @degenbet hasn't received any replies!