pin rdoc to 3.12