Hello, On Tue 09 Apr 2019 at 12:15AM +0200, Guillem Jover wrote: > Hmm, but the devref appears to be already in docbook? :) This is certainly good news. Thank you. -- Sean Whitton