Looks like @friedger hasn't received any replies!