#452: Stubs and settings for RTD support