■

 No pun intended(洒落のつもりではないが)

アニメ(氷菓)を見ていたら便利そうな表現みつけた

追記

Google cloud の海底ケーブルの一般向け解説記事で

Pun intended！（だじゃれを狙ったよ）が使われているのを確認

海底ケーブルの話でdiveやseaを使ったことを偶然じゃなくてあえてだというユーモア

    After 25+ hours of research—from interviewing optical network engineers to exploring our network design documents—I finally started to scratch the surface of a sea of information, so let’s dive into my findings (puns intended)!

 https://cloud.google.com/blog/topics/developers-practitioners/googles-subsea-fiber-optics-explained