I’d like to see https://github.com/racket/scribble/pull/311 merged, anyone got write access to the scribble repo? or willing to grant me write access so I can merge it?