Looks like @froehli hasn't received any replies!