Looks like @docmendax hasn't received any replies!