diff --git a/docs/source/using_yosys/more_scripting/load_design.rst b/docs/source/using_yosys/more_scripting/load_design.rst
index 07c2bd8e5..cf6a1dc1f 100644
--- a/docs/source/using_yosys/more_scripting/load_design.rst
+++ b/docs/source/using_yosys/more_scripting/load_design.rst
@@ -30,10 +30,9 @@ keyword: Frontends
 .. note::
 
    The Verific frontend for Yosys, which provides the :cmd:ref:`verific`
-   command, requires the commercial `Tabby CAD Suite`_.  This is not the same as
-   simply having a Verific license when using Yosys.
-
-.. _Tabby CAD Suite: https://www.yosyshq.com/tabby-cad-datasheet
+   command, requires Yosys to be built with Verific.  This is not the same as
+   simply having a Verific license when using Yosys.  Check
+   :doc:`/yosys_internals/extending_yosys/build_verific` for more.
 
 Others:
 
diff --git a/docs/source/yosys_internals/extending_yosys/extensions.rst b/docs/source/yosys_internals/extending_yosys/extensions.rst
index fa4ad51f8..f10c634b0 100644
--- a/docs/source/yosys_internals/extending_yosys/extensions.rst
+++ b/docs/source/yosys_internals/extending_yosys/extensions.rst
@@ -8,8 +8,6 @@ Writing extensions
 
 .. todo:: update to use :file:`/code_examples/extensions/test*.log`
 
-.. todo:: should this be moved to yosys_source section?
-
 This chapter contains some bits and pieces of information about programming
 yosys extensions. Don't be afraid to ask questions on the YosysHQ Slack.