Looks like @andreasg hasn't received any replies!