Looks like @reineke hasn't received any replies!