Commit 00e618eb0a8a924ee4ba06e3647673310dc856b5

Nick Wellnhofer 2022-01-17T21:39:27

Remove old devhelp format See #295.