This extension adds Robolectric-related documentation to the Android developer docs at https://developer.android.com/.