Loading annotation for solidity.readthedocs.io