Add doxygen javadoc-style comments, only `///` for now.