They are scanned when building the file, which has the disadvantage that the file has to be opened and parsed. Maybe we should do it in a separate thread, so that the compilation itself isn't affected.
What is the problem?

That's acceptable, but they don't work very well, if I remove or add FIXME or TODO, they're only updated 25% percent of the time or so...

New observation: they are updated at the second recompile, so if you move/remove a TODO, it will still be there first time you save, but will properly update the second time

Updating tickets (#217, #218, #219, #220, #221, #223, #224, #229, #239, #240, #241, #244, #245, #261, #265, #274, #278, #280, #281, #283, #285, #298, #307, #318, #326, #331, #332, #335, #336, #338, #342, #348, #216, #237, #247, #255, #264, #277, #321, #328, #113, #114, #129, #131, #211, #222, #231, #242, #256, #323, #325, #150, #172, #252, #276, #291, #294, #316, #317, #339, #340, #343, #44, #195, #234, #249, #313, #314, #344, #228, #160, #173, #235, #238)

Updating tickets (#194, #200, #208, #217, #218, #220, #221, #224, #229, #241, #245, #252, #261, #265, #274, #276, #278, #280, #281, #283, #285, #291, #294, #298, #307, #316, #317, #318, #326, #331, #332, #335, #336, #338, #339, #342, #343, #348, #56, #69, #87, #106, #144, #166, #195, #198, #234, #255, #264, #277, #313, #328, #344, #123)

Updating tickets (#147, #349, #79, #137, #157, #204, #80, #242, #401, #359, #366, #373, #364, #377, #76, #168, #170, #241, #245, #252, #276, #317, #339, #351, #372, #374, #380, #405, #58, #89, #116, #121, #169, #174, #175, #188, #205, #223, #240, #340, #354, #166, #56, #106, #277, #328, #53, #84, #99, #216, #237, #247, #249, #314, #321, #403)

Updating tickets (#134, #40, #100, #114, #120, #129, #131, #137, #156, #157, #179, #211, #222, #228, #231, #326, #379, #455, #459, #41, #46, #52, #61, #64, #76, #83, #93, #95, #111, #115, #119, #130, #135, #145, #149, #152, #155, #159, #163, #164, #168, #170, #172, #181, #194, #200, #208, #218, #220, #223, #224, #241, #245, #252, #261, #265, #274, #276, #280, #281, #283, #285, #294, #298, #316, #317, #318, #331, #332, #335, #336, #339, #351, #364, #366, #372, #375, #377, #380, #385, #394, #398, #405, #413, #415, #418, #422, #423, #424, #425, #429, #430, #436, #437, #440, #442, #443, #445, #446, #448, #449, #452, #454, #461, #464, #471, #44, #56, #69, #87, #98, #106, #144, #166, #195, #234, #255, #264, #313, #328, #359, #387, #421, #428, #439, #463, #123)

Updating tickets (#134, #40, #43, #80, #100, #113, #120, #129, #131, #137, #156, #157, #179, #211, #222, #228, #231, #242, #326, #349, #379, #451, #455, #459, #523, #524, #530, #41, #46, #52, #58, #61, #62, #64, #76, #83, #89, #93, #95, #115, #116, #119, #121, #130, #135, #145, #149, #152, #155, #159, #163, #164, #168, #169, #170, #175, #181, #182, #188, #194, #199, #200, #205, #208, #210, #218, #219, #223, #224, #235, #237, #238, #239, #240, #241, #244, #252, #261, #265, #274, #276, #281, #283, #285, #294, #298, #316, #317, #318, #331, #332, #335, #336, #339, #340, #351, #354, #358, #364, #366, #372, #374, #375, #377, #378, #380, #383, #392, #394, #398, #405, #407, #410, #411, #412, #413, #415, #418, #422, #423, #424, #425, #427, #429, #430, #432, #436, #437, #438, #440, #442, #443, #445, #446, #447, #448, #449, #450, #452, #454, #460, #464, #465, #470, #471, #474, #477, #478, #479, #483, #484, #492, #493, #494, #495, #497, #498, #499, #506, #508, #510, #511, #512, #514, #515, #516, #517, #519, #521, #536, #537, #540, #541, #542, #543, #545, #546, #42, #44, #53, #54, #56, #67, #68, #69, #84, #87, #98, #99, #101, #106, #117, #118, #132, #144, #160, #166, #195, #216, #234, #249, #255, #264, #313, #314, #321, #328, #359, #387, #416, #419, #421, #428, #439, #463, #485, #488, #489, #528, #59, #123, #433)

Updating tickets (#503, #529, #40, #43, #120, #157, #179, #211, #222, #228, #326, #379, #451, #459, #523, #524, #530, #559, #535, #176, #177, #386, #389, #409, #434, #473, #41, #52, #62, #64, #83, #93, #115, #135, #145, #149, #155, #159, #163, #181, #194, #199, #200, #208, #210, #219, #224, #261, #265, #274, #281, #283, #285, #294, #298, #316, #318, #331, #332, #335, #336, #358, #375, #383, #394, #398, #412, #413, #415, #422, #423, #424, #425, #432, #440, #442, #443, #446, #448, #449, #450, #452, #454, #460, #464, #471, #474, #479, #483, #484, #492, #497, #506, #510, #512, #516, #519, #521, #536, #537, #541, #543, #546, #555, #556, #561, #564, #565, #291, #431, #502, #520, #522, #532, #469, #42, #44, #69, #87, #132, #195, #234, #255, #264, #313, #387, #419, #421, #428, #439, #488, #489, #558, #123, #433, #80, #113, #137, #242, #349, #455, #46, #58, #61, #76, #89, #95, #116, #121, #152, #168, #169, #170, #175, #188, #205, #218, #223, #237, #240, #241, #252, #276, #317, #339, #340, #351, #354, #364, #366, #372, #374, #377, #380, #405, #407, #410, #429, #430, #436, #437, #438, #445, #447, #470, #477, #478, #493, #494, #495, #498, #499, #511, #545, #548, #562, #563, #373, #401, #475, #560, #53, #84, #98, #99, #106, #117, #118, #166, #216, #249, #314, #321, #328, #359, #463, #485, #134, #100, #156, #427, #554, #551, #552, #550, #553, #129, #131, #231, #114, #323, #325, #119, #130, #164, #182, #235, #238, #239, #244, #378, #392, #411, #465, #508, #514, #515, #517, #557, #54, #67, #68, #101, #144, #160, #416, #528)

Updating tickets (#130, #223, #235, #276, #325, #438, #580, #53, #58, #116, #117, #121, #164, #170, #211, #234, #238, #239, #244, #252, #255, #328, #374, #377, #378, #392, #394, #407, #410, #447, #459, #491, #496, #508, #524, #545, #576, #590, #205, #240, #493, #495, #514, #515, #517, #557, #589, #62, #99, #118, #359, #437, #445, #498, #499)

Updating tickets (#106, #113, #129, #130, #182, #223, #235, #276, #325, #438, #483, #529, #580, #40, #42, #43, #44, #46, #53, #58, #61, #69, #76, #80, #84, #89, #115, #116, #117, #119, #121, #123, #152, #164, #166, #168, #169, #170, #176, #188, #199, #208, #211, #216, #231, #234, #237, #238, #239, #244, #249, #252, #255, #264, #291, #294, #313, #314, #317, #321, #323, #326, #328, #336, #366, #374, #377, #378, #380, #392, #394, #398, #407, #410, #430, #440, #447, #459, #463, #465, #477, #478, #485, #491, #494, #496, #508, #511, #524, #530, #545, #560, #565, #569, #570, #576, #584, #590, #594, #596, #620, #621, #100, #160, #205, #240, #265, #436, #439, #452, #475, #493, #495, #506, #514, #515, #517, #536, #548, #557, #589, #600, #62, #99, #118, #132, #145, #210, #359, #387, #419, #433, #437, #445, #488, #498, #499)