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