Text this: Making research methodologies in theoretical computing explicit