Looks like @hirschi hasn't received any replies!