Looks like @rpenott hasn't received any replies!