[#12] Moved doctags to header files.