In our previous episode, Tomas Hajny said: > > Is this the right fix? Shouldn't it be possible to generate docs based on > other targets as an option? What do you expect from that, other then that a few symbols disappear ? (that are hopefully already annotated as platform specific?)