Looks like @conradus hasn't received any replies!