Comment by mrmuagi

Well it depends if commenting on HN is considered "within the envelope", maybe it's not real progress worth spending time on :)