Bug: #70 added ReadTheDoc badge.