Minor update(3) for Vivaldi iOS Browser 7.1