Transition SPEC and TODO to markdown