diff --git a/docs/external/tips b/docs/external/tips
index e30ee794290..b0590b73a30 160000
--- a/docs/external/tips
+++ b/docs/external/tips
@@ -1 +1 @@
-Subproject commit e30ee7942900e6d9343650d3c5325673951bb159
+Subproject commit b0590b73a30a56976e82017d25cb4e757c99ae36