Looks like @kretschi hasn't received any replies yet!