Looks like @joppa hasn't received any replies!