Several updates to openspec (v1.3)
And another tiny commit