On 2015-03-16 01:13, Rikki Cattermole wrote: > Its just a real pain to create these stubs by hand. Atleast this way, > people will moan about documentation being empty and it'll seem less > work to do. This should be done by the editor. -- /Jacob Carlborg