Also adds a comment as to why this extension should not be changed. This commit reverts edf7082326.
edf7082326